Denicek：面向文档的终端用户编程计算基质

DOI

用户中心编程研究催生了多种引人入胜的编程体验，包括协作源码编辑、演示编程、增量重算、模式变更控制、终端用户调试和具体编程。这些体验推动了终端用户编程的发展，但很难在现有编程语言和系统的基础上实现。我们提出 Denicek，一个简化上述编程体验实现的计算基质。Denicek 将程序表示为一系列编辑操作，用于构建和转换由数据和公式组成的文档。Denicek 提供编辑历史的三种操作：编辑应用、历史合并和冲突解决。通过组合这三种操作，可以轻松实现多种编程体验。我们展示了 Denicek 的架构，讨论了关键设计考量，并详细阐述了各种编程体验的实现。为评估该基质，我们使用 Denicek 开发了一个创新的交互式数据科学笔记本系统。案例研究表明，Denicek 计算基质为设计丰富的交互式终端用户编程系统提供了合适的基础。