To: seminaire@pauillac.inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 05/05/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 5 mai, 10h30

                                ------------
                                Alain Frisch
                                ------------

                                   INRIA

                         =========================
                         OCaml + XDuce = OCamlDuce
                         =========================

Je vais présenter le système de types d'OCamlDuce, qui est une extension
d'OCaml avec les types XML de XDuce/CDuce.

Le défi a consisté à mélanger deux systèmes de types très différents
(inférence à coup d'unification d'un coté; simple propagation, mais avec
des types plus compliqués de l'autre) sans faire (trop) de bidouilles
immondes. L'objectif était également de pouvoir étendre sans douleur
l'implémentation d'OCaml et de réutiliser celle de CDuce.

Le système obtenu est en fait plutôt simple: c'est presque du ML normal,
sans élaboration compliquée ni règle de propagation ad hoc. D'ailleurs,
il n'a rien de spécifique aux types XML; il permet de rajouter
facilement à ML une algèbre de valeurs externes, avec leurs propres
types monomorphes, leur relation de sous-typage et leurs opérateurs.