Participants : Patrick Loiseleur, Laurence Rideau, Laurent Théry
Mots clefs : environnement de programmation, CRISTAL, explication, ML, langage fonctionnel Le projet dispose pour deux variantes du langage ML d'un éditeur structuré comprenant une interaction sophistiquée avec le vérificateur de type. Il est possible de connaître le type de toute sous-expression par simple sélection et le diagnostic des erreurs de type montre les différents endroits du programme intervenant dans l'apparition d'une erreur.
La relative simplicité du vérificateur de type de CamlLight a permis d'entreprendre le développement de variantes du vérificateur de type dédiées à l'utilisation interactive. Un exemple d'une telle variante est l'explication de l'inférence de types.
Dans l'avenir, ce travail va déboucher sur un environnement de travail pour la programmation en ML. Il doit également permettre de nouvelles expériences pour découvrir des utilisations originales de l'information de type pour l'aide à la construction de programmes.