To: seminaire-gallium-moscova@inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Gallium - 21/01/08 - 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 Amphi Turing du bâtiment 1 Lundi 21 janvier, 10h30 ---------------- Boris Yakobowski ---------------- INRIA ============================= Le caractère ` à la rescousse ============================= Les variants polymorphes sont une fonctionnalité puissante du système de types du langage OCaml, dont l'utilisation reste pourtant relativement rare. Dans cet exposé je m'attacherai à montrer en quoi ils sont plus expressifs que les types inductifs usuels. Dans un premier temps, j'expliquerai comment le "raffinement" d'une structure inductive peut être capturé directement par le système de types. Dans un deuxième temps, j'expliquerai comment les variants permettent une plus grande factorisation de code, en utilisant l'exemple de deux arbres de syntaxe abstraite partageant certaines constructions.