To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 16/05/07 - Paris - FR

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

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                       Salle de réunion du bâtiment 5

                           Mercredi 16 mai, 10h30

                             -----------------
                             Nicolas Pouillard
                             -----------------

                                   INRIA

                     ==================================
                     Surcharge, une autre alternative ?
                     ==================================

La surcharge reste aujourd'hui un point sensible du design d'un langage. En
effet la question de la surcharge se pose souvent pour des fonctions comme
l'arithmétique sur les types de base, la comparaison et l'affichage de
valeurs.  Dans l'optique d'élargir l'horizon sur de tels systèmes, un dérivé
extrait du langage reFLect développé chez Intel sera présenté. C'est un
système intéressant car plus léger que les type-classes de Haskell, et qui
s'intègre mieux au typage de ML. L'exposé sera plus de la forme d'un tutoriel
que d'une présentation formelle.