Convertisseur de l'état Haskell avec échec personnalisé

Question

Je veux un monade State où fail modifie l'état plutôt que de déclencher une exception. L'échec en début d'une telle action devrait également sauter toutes les actions ultérieures.

Par exemple, ce qui suit devrait produire "FAILED: foo" comme état final :

execState (fail "foo") ""

ceci devrait produire le même résultat

execState (fail "foo" >> put "hi") ""

En utilisant la monade State standard, la première déclenche une exception et la deuxième produit "hi"

Je suppose qu'il y a une manière astucieuse d'utiliser StateT pour créer ma propre monade avec ce comportement, mais je ne l'ai pas encore découvert. Quelle est une bonne manière d'accomplir ceci ?

Answer 1

Vous pouvez essayer d'utiliser StateT appliqué à ErrorT (bien que vous puissiez avoir besoin de la variante stricte de StateT pour obtenir le comportement souhaité). Ici, l'appel à fail est transmis à la monade suivante.

Cependant, si vous voulez réellement l'inclure dans l'état interne plutôt que dans la pile, écrire votre propre monade de type State est probablement la meilleure option, en utilisant Either en interne. Par exemple, voyez comment polyparse a un parseur étatique avec un type de données interne qui enregistre si une erreur s'est produite ou non.