| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [5 references]
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
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)