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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00202817
Contributor : Sandrine Blazy <>
Submitted on : Tuesday, January 8, 2008 - 11:33:11 AM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Thursday, September 27, 2012 - 1:51:20 PM

File

yakobowski.pdf
Files produced by the author(s)

Identifiers

  • 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), INRIA, Jan 2008, Etretat, France. pp.63-78. ⟨inria-00202817⟩

Share

Metrics

Record views

232

Files downloads

91