Abuser de l'algèbre des types de données algébriques - pourquoi cela fonctionne-t-il?

L'expression «algébrique» pour les types de données algébriques semble très suggestive pour une personne ayant une formation en mathématiques. Permettez-moi d'essayer d'expliquer ce que je veux dire. Après avoir défini les types de base Produit • syndicat + Singleton X Unité 1 et en utilisant le...