Abstract FR:

Ce travail traite de l'inference de types pour un langage dote de polymorphisme parametrique et de sous-typage, en s'attachant particulierement a la simplification des types inferes. L'algorithme d'inference est base sur la resolution de contraintes de sous-typage. Or, celles-ci sont en nombre proportionnel a la taille du programme, ce qui pose un probleme d'efficacite et de lisibilite. Il fallait donc concevoir un systeme de simplification des contraintes. De cette etude ressortent trois algorithmes de simplification, capables de reduire un jeu de contraintes sans en alterer la signification. De plus, les regles de typage ont ete reformulees de facon a faciliter le fonctionnement et l'integration de ces algorithmes. L'ensemble du systeme forme un tout homogene, clairement formalise, qui conduit directement a une implantation efficace. Le systeme obtenu est flexible, et supporte diverses extensions. Parmi les problemes non resolus, citons le typage des constructions imperatives dans le cadre de la compilation separee, ainsi que certaines inefficacites residuelles. En reponse a ces problemes, la mise au point d'un systeme de typage plus proche de celui de ml semble constituer une piste de recherche interessante.