Ocsigen : approche fonctionnelle typée de la programmation Web - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Ocsigen : approche fonctionnelle typée de la programmation Web

Vincent Balat
  • Fonction : Auteur
  • PersonId : 840275

Résumé

Vers la début des années 2000, Christian Queinnec, John Hughes et Paul Graham ont, indépendamment, montré une application intéressante du concept de continuation utilisé en programmation fonctionnelle, pour décrire le fonctionnement du bouton « back » dans une application Web. L'utilisation de cette découverte permet de simplifier l'implémentation de certains comportements et d'éviter des erreurs courantes. En fait ce premier effort d'abstraction peut être poussé beaucoup plus loin. Il est en effet possible d'inventer des concepts de haut niveaux pour modéliser d'autres comportements courants sur le Web, liés par exemple aux sessions ou à d'autres modes d'interaction avec l'utilisateur par l'intermédiaire d'une interface Web. Nous proposons d'abord de définir un nouveau langage vernaculaire pour décrire l'interaction Web, en s'appuyant sur la sémantique plutôt que sur les contraintes technologiques. L'implémentation directe de ces concepts abstraits dans des outils de programmation Web apporte un fort gain d'expressivité, en simplifiant la programmation de comportements complexes. Cela peut aboutir notamment à une meilleur ergonomie. Cette abstraction permet également de fortes garanties statiques qui améliorent la robustesse des applications. Il en découle un nouveau style de programmation Web qui répond parfaitement aux besoins liés à l'évolution actuelle du Web. Nous en montrerons une implémentation en OCaml sous la forme d'un module pour le serveur Web Ocsigen, appelé Eliom.
Fichier non déposé

Dates et versions

hal-00497600 , version 1 (05-07-2010)

Identifiants

  • HAL Id : hal-00497600 , version 1

Citer

Vincent Balat. Ocsigen : approche fonctionnelle typée de la programmation Web. Journée francophones des langages applicatifs, Jan 2009, France. ⟨hal-00497600⟩
64 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More