Des promesses, des actions, par flots, en OCaml

Simon Archipoff (1) , David Janin (1) , Bernard P. Serpette (2)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 Inria Bordeaux - Sud-Ouest

Nous nous intéressons aux traitements de flux audio synchrones et aux contrôles de ces traitements par des flux de commandes asynchrones : un exemple archétypal de problème de programmation globalement asynchrone et localement synchrone (GALS). Pour faire cela, un modèle qui s'impose tout à la fois par son efficacité et son élégance se situe à la croisée de plusieurs concepts clés de la programmation fonctionnelle : les actions monadiques, les promesses, et les flots récursifs d'actions ou de promesses. Suite à une expérimentation de cette modélisation en Haskell, l'objet de cet article est d'en faire une expérimentation en OCaml. De façon quelque peu inattendue, les deux approches se complètent et nous conduisent finalement à une axiomatisation originale de la notion de promesse. De plus, étendu aux flots récursifs d'actions, il apparaît que les promesses de flots d'actions peuvent être vue comme des flots de promesses. Une mise en oeuvre de ces concepts est proposée en s'appuyant sur les extensions d'OCaml par threads Posix ou par threads légers (lwt).

Domaines: Multimédia [cs.MM]; Son [cs.SD]; Langage de programmation [cs.PL]

Simon Archipoff, David Janin, Bernard P. Serpette. Des promesses, des actions, par flots, en OCaml. JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02389651⟩