Extension sures et praticables du systeme de types de ml en presence d'un langage de modules et de traits imperatifs

Safes and practicals extensions of the ml type in presence of imperatives features and of a module language

• Auteur / Autrice : Emmanuel Engel
• Direction : Laurence Puel
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1998
• Etablissement(s) : Paris 11

Résumé

Cette these propose deux extensions du systeme de types de ml qui participent a l'amelioration de l'expressivite du langage. La premiere extension consiste a introduire des types variadiques ce qui permet alors d'assouplir sensiblement le systeme de types du langage de modules qui est associe au langage ml. Les foncteurs sont les grands beneficiaires de cette extension. C'est une extension facile a mettre en place car c'est une extension conservative de l'existant. La seconde extension est l'introduction d'une technique d'effacement et de reconstruction d'annotations de types. Cette technique montre qu'il est possible d'utiliser des systemes de types evolues et expressifs pour typer les expressions du langage ml tout en restant utilisable en pratique. En effet, l'experience du typage des traits imperatifs du langage montre qu'etendre la grammaire des types du langage n'est pas raisonnable car les annotations utilisees, si simples soient-elles, genent considerablement le programmeur. Cette technique est appliquee a plusieurs extensions du systeme de types de ml. Ces extensions ont toutes pour but un typage polymorphe des traits imperatifs du langage. Le resultat est probant car nous obtenons une extension conservative du systeme de types de ml qui permet un typage polymorphe des fonctions qui utilisent des traits imperatifs.