Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes
Abstract
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...