Précédent : Typage des objets Remonter : Systèmes de types Suivant : Types intersection
Précédent : Typage des objets Remonter : Systèmes de
types Suivant : Types intersection
Didier Rémy s'est intéressé à la synthèse des types avec contraintes qui permet en particulier d'étendre le système de typage de ML avec une notion de sous-typage. Cette extension est très prometteuse et devrait s'appliquer également aux utilisations du typage pour effectuer des analyses statiques des programmes. Didier Rémy a étudié avec François Pottier les possibilités de simplification des contraintes, un problème crucial tant pour la lisibilité des types synthétisés que pour l'efficacité des algorithmes. L'effort porte sur la mise au point d'algorithmes de simplification des types inférés, suffisamment rapides pour être utilisables en pratique.
Didier Rémy a aussi repris ses travaux sur les enregistrements et montré comment le formalisme des types enregistrement permet, en présence de sous-typage, d'exprimer des informations plus précises. Par exemple, il est possible d'avoir une opération d'extension sur les objets en présence de sous-typage.