Résumé : Les variants polymorphes sont une fonctionnalité puissante du système de types du langage OCaml, dont l'utilisation reste pourtant rare. Dans cet article, nous nous attachons à montrer en quoi ils sont plus expressifs que les types inductifs usuels, à la fois en terme de garantie statique d'invariants et de factorisation de code. Pour cela, nous proposons trois exemples tirés d'un typeur. Aucune connaissance préalable sur les variants polymorphes n'est nécessaire.
Type de document :
Communication dans un congrès
JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.63-78, 2008
https://hal.inria.fr/inria-00202817
Contributeur : Sandrine Blazy
<>
Soumis le : mardi 8 janvier 2008 - 11:33:11
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:51:20
Boris Yakobowski. Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes. JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.63-78, 2008. 〈inria-00202817〉
