Les applicatifs composent, les monades non. Que signifie la déclaration ci-dessus? Et quand l'un est-il préférable à
Hackage propose plusieurs packages pour les transformateurs monades: mtl : bibliothèque de transformateurs Monad transformateurs : foncteur béton et transformateurs monades monads-fd : classes Monad, utilisant des dépendances fonctionnelles monads-tf : classes Monad, utilisant des familles de...
J'essaie de définir une famille de machines à états avec des types d'états quelque peu différents. En particulier, les machines à états les plus "complexes" ont des états qui sont formés en combinant les états des machines à états plus simples. (Ceci est similaire à un paramètre orienté objet où un...