T-calculus
(mostly obsolete, to be moved towards the Timed Monad Stream library)
The T-calculus is a domain-specific language prototype, presently embedded in Haskell. It aims at experimenting tiled programming for the design and implementation of reactive temporal media systems. It is based the fairly rich algebraic model of overlaping tiles.The current implementation can roughly be described as:
-
a generic implementation of the overlaping tile
algebra,
a generic reactive kernel that allows tranforming streams
of events into tiles and vice versa tiles into streams of events,
an implementation of a duration algebra based on a
lattice completion of affine functions,
a language front-end (T-Score) more dedicated to Music.