PaSe: An Extensible and Inspectable DSL for Micro-Animations

02/06/2020
by   Ruben P. Pieters, et al.
0

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.

READ FULL TEXT

page 3

page 5

page 6

research
10/06/2021

Parallel Composition of Weighted Finite-State Transducers

Finite-state transducers (FSTs) are frequently used in speech recognitio...
research
10/15/2020

On the Parallel Composition for True Concurrency

For insight into the parallel composition for true concurrency, we recal...
research
05/31/2022

Towards an Algebra of Computon Spaces

Compositionality is a key property for dealing with complexity, which ha...
research
05/03/2021

In search of lost time: Axiomatising parallel composition in process algebras

This survey reviews some of the most recent achievements in the saga of ...
research
11/04/2019

Formal composition of hybrid systems

We develop a compositional framework for formal synthesis of hybrid syst...
research
10/14/2022

E-Resource Management and Management Issues and Challenges

E-resources are inevitable, technology has grown and libraries are also ...
research
12/11/2020

Decompositional Minimisation of Monolithic Processes

Compositional minimisation can be an effective technique to reduce the s...

Please sign up or login with your details

Forgot password? Click here to reset