To: seminaire@pauillac.inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 31/03/06 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                          Vendredi 31 mars, 10h30

                               -------------
                               Vincent Balat
                               -------------

                             Université Paris 7

             =================================================
             Ocsigen : un peu d'air frais en programmation Web
             =================================================

Les outils couramment utilisés aujourd'hui pour programmer des sites
dynamiques répondent de plus en plus difficilement aux exigences sans
cesse croissantes en terme d'interactivité. La plupart sont des langages
de scripts, qui imposent un modèle de programmation page après page, ce
qui rend notamment difficile la gestion sûre et pratique des sessions. En
outre aucun de ces outils ne permet de garantir la validité des pages par
rapport aux standards du W3C. La programmation fonctionnelle semble très
adaptée pour résoudre ce type de problèmes, et plusieurs travaux récents
mettent en avant l'utilisation du typage et des notions de clôtures ou
continuations. Dans cet exposé, je montrerai une implémentation de ces
idées sous la forme d'un serveur Web en Objective Caml. En exploitant
intensément le système de type du langage, il permet de programmer de
manière très rapide et modulaire des sites hautement dynamiques avec une
forte garantie statique de respect des standards et de bon fonctionnement
de l'interaction avec l'utilisateur (pas de liens morts, vérifications sur
les formulaires, gestion évoluée des sessions). Je discuterai également de
possibilités d'améliorer encore cet outil grâce à des extensions du
langage.