Newsgroups: fr.announce.seminaires Distribution: fr To: fr-sem@frmug.org From: Didier.Remy@inria.COUPER-CECI.fr Organization: INRIA-Rocquencourt Subject: SEM - INRIA : Cristal - 23/05/00 - Paris - FR http://pauillac.inria.fr/bin/calendar/Seminaires S E M I N A I R E ____ ____ . / _ _ / ___ __ /_ _ / /| /| _ __ __ _ _ / / \ / \ _ / / / /_ / __| / _ / |/ | / \ /_ / / \ | / __| |___ |_/ |_/ |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ / / I N R I A - Rocquencourt, Salle de conference du Bat 11 Mardi 23 mai, 10h30 -------------- Daniel Bonniot -------------- ======================================================= Typage precis des multimethodes polymorphes dans ML-Sub ======================================================= Je présenterai dans un premier temps les grandes lignes de ML-Sub, extension du système de type ML aux types avec contraintes de sous-typage, a travers l'utilisation qui peut en être faite pour modéliser un langage de type orienté objet. Puis j'exposerai des limites de ce système: les types polymorphes, plus précis que les types monomorphes usuels, sont parfois trop précis, dans le sens ou ils contraignent trop le type de résultat d'une méthode. Il s'est donc avéré nécessaire de proposer un système de vues de degrés d'abstraction différent sur une hiérarchie de classes, basé sur la notion d'interface. Enfin je présenterai le langage Nice qui met en oeuvre cette théorie, et son implémentation, réalisée dans le cadre de ma première année de thèse.