Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes

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
Liste complète des métadonnées


https://hal.inria.fr/inria-00202817
Contributeur : Sandrine Blazy <>
Soumis le : mardi 8 janvier 2008 - 11:33:11
Dernière modification le : lundi 5 octobre 2015 - 17:01:06
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:51:20

Fichier

yakobowski.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00202817, version 1

Collections

Citation

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>

Partager

Métriques

Consultations de
la notice

189

Téléchargements du document

76