De la webradio lambda à la lambda-webradio

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00202813
Contributor : Sandrine Blazy <>
Submitted on : Tuesday, January 8, 2008 - 11:29:13 AM
Last modification on : Wednesday, March 27, 2019 - 4:41:26 PM
Long-term archiving on : Thursday, September 27, 2012 - 1:51:13 PM

File

baelde.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00202813, version 1

Collections

Citation

David Baelde, Samuel Mimram. De la webradio lambda à la lambda-webradio. JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.47-62. ⟨inria-00202813⟩

Share

Metrics

Record views

142

Files downloads

76