Structured reactive programming with polymorphic temporal tiles

Simon Archipoff (1) , David Janin (1)

1 PoSET - Models for a Structured Programming of Space and Time

In functional reactive programming (FRP), system inputs and outputs are generally modeled as functions over continuous time (behaviors) whose future values are governed by sudden changes (events). In this approach, discrete events are embedded into piece-wise continuous behaviors. In the field of reactive music system programming, we develop an orthogonal approach that seems to better fit our need. Much like piano keys can be played and combined both in sequence and in parallel, we model system inputs and outputs as spatio-temporal combinations of what we call temporal values: continuous functions over time whose domain lays between two events: a start and a stop event. Various high level data types and program constructs can then be derived from such a model. They are shown to satisfy robust algebraic and category theoretic properties. Altogether, this eventually provides a simple, robust and elegant programming front-end, temporal tile programming, for reading, memorizing, stretching, combining and transforming flows of inputs into flows of outputs. Although at its infancy, the resulting approach has been experimentally validated for reactive and real-time music system programming.

Domaines: Langage de programmation [cs.PL]; Son [cs.SD]; Multimédia [cs.MM]; Logique [math.LO]; Catégories et ensembles [math.CT]

Simon Archipoff, David Janin. Structured reactive programming with polymorphic temporal tiles. ACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), 2016, Nara, Japan. ⟨10.1145/2975980.2975984⟩. ⟨hal-01350525⟩