Participants : François Rouaix, Pierre Weis
François Rouaix et Pierre Weis ont poursuivi leurs travaux sur le polymorphisme extensionnel. Ce formalisme, extension simple du système de types de ML, autorise la définition de fonctions génériques. Contrairement aux fonctions polymorphes paramétriques usuelles en ML, les fonctions génériques s'évaluent différemment selon leur type d'usage. Le polymorphisme extensionnel a été présenté au congrès Principles of Programming Languages en janvier [18].
Ce travail a été appliqué aux langages à objets: plusieurs approches de la programmation par objets (classes à la Smalltalk, fonctions génériques de CLOS, et variations) ont été étudiées dans le cadre du polymorphisme extensionnel. Des expériences réalisées avec un prototype basé sur Caml Light ont montré que toutes ces approches pouvaient être décrites avec les fonctions génériques. Ce travail a été présenté au Workshop on Advances in Type Systems for Computing.