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.
Type de document :
Communication dans un congrès
JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.47-62, 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00202813
Contributeur : Sandrine Blazy <>
Soumis le : mardi 8 janvier 2008 - 11:29:13
Dernière modification le : jeudi 12 avril 2018 - 01:45:40
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:51:13

Fichier

baelde.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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), Jan 2008, Etretat, France. pp.47-62, 2008. 〈inria-00202813〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

64