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.
Observons une première structure algébrique appliquée à l'informatique : le monoïde !
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.