Précédent : Systèmes de modules Remonter : Modularité Suivant : Systèmes de types
Précédent : Systèmes de modules Remonter : Modularité
Suivant : Systèmes de types
Dans le cadre de son stage de DEA, François Pessaux a étudié l'ajout d'une construction conditionnelle dans le système de modules obtenu par Xavier Leroy, permettant aux modules paramétrés de discriminer sur les types effectifs qu'ils reçoivent en argument. Cette extension permet la définition de modules paramétrés ``ad-hoc'', qui sont l'équivalent au niveau des modules des fonctions génériques précédemment étudiées par Francois Rouaix et Pierre Weis au niveau du langage ML de base.
Une application immédiate de la construction conditionnelle dans les modules est la réalisation de bibliothèques génériques optimisées pour certains types d'arguments particuliers. À plus long terme, cette construction semble aussi nécessaire pour exprimer en termes de modules des hiérarchies de structures algébriques comme dans le système de calcul formel Axiom.
François Pessaux a formalisé cette extension du système de modules, a conçu un algorithme d'inférence de types de modules adapté, et en a réalisé une maquette.