Programmer avec des tuiles musicales: le T-calcul en Euterpea

Paul Hudak (1) , David Janin (2, 3)

1 YALE - Department of Computer Science
2 PoSET - Models for a Structured Programming of Space and Time
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Euterpea est un langage de programmation dédié à la création et à la manipulation de contenus media temporisés - son, musique, animations, vidéo, etc... Il est enchassé dans un langage de programmation fonctionnelle avec typage polymorphe: Haskell. Il hérite ainsi de toute la souplesse et la robustesse d'un langage de programmation moderne. Le T-calcul est une proposition abstraite de modélisation temporelle qui, à travers une seule opération de composition: le produit tuilé, permet tout à la fois la composition séquentielle et la composition parallèle de contenus temporisés. En présentant ici une intégration du T-calcul dans le language Euterpea, nous réalisons un outil qui devrait permettre d'évaluer la puissance métaphorique du tuilage temporel combinée avec la puissance programmatique du langage Euterpea.

Mots clés: tuilage; programmation fonctionnelle; monoïde inversif; modélisation musicale; informatique musicale

Domaines: Langage de programmation [cs.PL]; Multimédia [cs.MM]; Algèbres d'opérateurs [math.OA]; Son [cs.SD]; Théorie et langage formel [cs.FL]; Logique [math.LO]

Paul Hudak, David Janin. Programmer avec des tuiles musicales: le T-calcul en Euterpea. Actes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10. ⟨hal-00978355⟩