inria-00202813, version 1
De la webradio lambda à la lambda-webradio
JFLA (Journées Francophones des Langages Applicatifs) (2008) 47-62
Résumé : La génération et la manipulation de flux audio -- pour une radio web par exemple -- est une tâche complexe, difficilement réalisable à l'aide des langages de programmation habituels. Nous présentons dans cet article un langage fonctionnel fortement typé appelé Liquidsoap qui offre des abstractions confortables pour décrire la construction de flux élaborés. Il se démarque par sa souplesse d'utilisation et la richesse des possibilités qu'il offre: de l'utilisation de divers types d'entrées (fichiers audio, micro, requêtes d'utilisateurs) que l'on peut sélectionner dynamiquement (selon la disponibilité ou encore l'horaire) à la gestion des transitions entre morceaux et autres traitements audio. La nécessité d'avoir un langage riche et abordable nous a amenés à introduire une variante du lambda-calcul typé, avec étiquettes et arguments optionnels, dont la portée va au delà du domaine du traitement audio.
- 1 : Laboratoire d'informatique de l'école polytechnique (LIX)
- CNRS : UMR7161 – Polytechnique - X
- 2 : Preuves, Programmes et Systèmes (PPS)
- CNRS : UMR7126 – Université Paris VII - Paris Diderot
- Domaine : Informatique/Langage de programmation
- inria-00202813, version 1
- http://hal.inria.fr/inria-00202813
- oai:hal.inria.fr:inria-00202813
- Contributeur : Sandrine Blazy
- Soumis le : Mardi 8 Janvier 2008, 11:29:13
- Dernière modification le : Mardi 8 Janvier 2008, 11:35:03







Documents associés
Exporter