Je tente de réécrire un interpréteur simple à partir d'une pile de monad basée sur des transformers pour obtenir des effets basés sur une plus grande liberté, mais je suis confronté à une difficulté à
En ce moment je suis au courant des méthodes suivantes pour intégrer les effets secondaires dans purement langages de programmation fonctionnels: systèmes effet continuations types uniques monades mon