Introduction aux types fantômes
Présentation d'une utilisation amusante des types paramétrés avec le langage OCaml pour répondre à une problématique pouvant être très coûteuse.
Présentation d'une utilisation amusante des types paramétrés avec le langage OCaml pour répondre à une problématique pouvant être très coûteuse.
Après avoir tâché de définir les structures algébriques dans un précédent article, j'ai décidé de présenter rapidement le Monoïde, une structure algébrique très simple pour s'initier à leur usage.