论文标题
PASE：可延伸且可检查的DSL用于微动物
PaSe: An Extensible and Inspectable DSL for Micro-Animations
论文作者
论文摘要
本文介绍了PASE，这是一种可延伸且可检查的DSL，嵌入了Haskell中，用于表达微动画。 PASE的理念是基于较小动画的顺序和并行组成的动画。这与其他动画库不同，这些动画库更多地集中在顺序组成上，并且仅具有有限的并行组成形式。为了提供与其他动画库相似的灵活性，PASE具有操作的可扩展性和动画的可检查性。我们通过待办事项列表应用程序介绍了PASE的功能，讨论PASE实现，并认为可扩展性的回调样式不利于正确组合PASE功能。我们与Greensock Animation平台（专业级别且广泛使用的JavaScript动画库）形成鲜明对比，以说明这一点。
This paper presents PaSe, an extensible and inspectable DSL embedded in Haskell for expressing micro-animations. The philosophy of PaSe is to compose animations based on sequential and parallel composition of smaller animations. This differs from other animation libraries that focus more on sequential composition and have only limited forms of parallel composition. To provide similar flexibility as other animation libraries, PaSe features extensibility of operations and inspectability of animations. We present the features of PaSe with a to-do list application, discuss the PaSe implementation, and argue that the callback style of extensibility is detrimental for correctly combining PaSe features. We contrast with the GreenSock Animation Platform, a professional-grade and widely used JavaScript animation library, to illustrate this point.
