Varv：作为声明性数据结构的可重新编程交互软件

视频

DOI

大多数现代应用程序是不可变的和开箱即用的，尽管人们承认赋予用户修改软件的能力有很多好处。编写可扩展的软件仍然具有挑战性，即使是对于专家程序员也是如此。重新编程或扩展现有软件通常很繁琐或完全受阻，需要具备应用程序架构的高级知识或设置开发环境。我们介绍了Varv，这是一种编程模型，将可重新编程的交互式软件表示为声明性数据结构。Varv将交互式应用程序定义为一组由模式和动作组成的概念。Varv中的应用程序支持增量修改，允许用户通过添加来重新编程，并选择性地抑制、修改或添加行为。用户可以定义高级概念，创建一个抽象层，实际上是为他们的应用程序领域创建一个特定领域的语言，强调重用和修改。我们在两个案例研究中展示了Varv的重新编程和协作能力，并说明了事件引擎如何允许进行广泛的工具支持。