Précédent : Types intersection Remonter : Systèmes de types Suivant : Preuves formelles de synthétiseurs de
Précédent : Types intersection Remonter : Systèmes de
types Suivant : Preuves formelles de synthétiseurs
de
Participants : François Rouaix, Pierre Weis, Jun Furuse
Jun Furuse est arrivé en France à la fin du mois de Septembre pour entamer une thèse au sein du projet Cristal. Cette thèse porte sur le polymorphisme extensionnel, une discipline de typage des langages fonctionnels qui permet l'écriture de programmes dont l'évaluation repose sur un calcul fondé à la fois sur la manipulaion des valeurs et des types. Ce calcul permettrait d'obtenir des langages d'une souplesse et d'une puissance inconnue actuellement pour les langages fortement typés statiquement. Le travail de Jun Furuse consistera à faire l'étude théorique et l'implémentation pratique de ce typage. Le premier travail va consister à ajouter à Caml des types à l'exécution, de façon à pouvoir disposer de valeurs à types dynamiques et à implémenter le filtrage sur les types qu'exige la sémantique des fonctions génériques du polymorphisme extensionnel.