An efficient implementation of tiled polymorphic temporal media

Archipoff, Simon

doi:10.1145/2808083.2808089

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The idea of using tiles as models for music goes back at least to the language LOCO [5] although the induced algebra were first observed by the second author [16,3]. Some experiments of controlling music systems based on tile specifications have been made [17,1]. Although the principle of tiled programming has already been sketched earlier [18] and experimented over Euterpea [14], the implementation presented here is the first fully featured polymorphic and reactive one implemented to far.…”

Section: Related Workmentioning

confidence: 99%

Structured reactive programming with polymorphic temporal tiles

Archipoff

Janin

2016

Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design

Self Cite

View full text Add to dashboard Cite

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.

show abstract