To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 22/11/2005 - 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 ___ . / ___ __ /_ _ / /| /| _ __ __ _ _ / / / /_ / __| / ----- / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Amphi 2 du Bat 1. Mardi 22 novembre, 10h30 ---------------- Jacques Garrigue ---------------- Université de Nagoya ==================================================================== Types structurels, modules récursifs, et le problème des expressions ==================================================================== Le "problème des expressions" concerne l'extensibilité à la fois d'un type algébrique de données, et d'un jeu d'opérations sur lui. Si on ajoute la demande d'un typage sûr et modulaire, on arrive à un problème de typage notoirement difficile. Nous proposons une série de solutions à ce problème, partant d'une solution déjà ancienne qui n'utilise que les variants polymorphes d'Objective Caml, et où le typage reste très implicite, pour aboutir à une solution complètement explicite, grâce à la combinaison des modules récursifs et des types privés à rangée, qui reste compacte, mais gagne en scalabilité. Certaines solutions peuvent être traduites vers Haskell ou SML.