Le monoïde (fr)

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. Les exemples proposés dans cet article sont rédigés en OCaml car, en plus d’être un magnifique langage, son système de types et de modules se prête bien à l’implémentation de structures algébriques.