He llegado a ver los sistemas de efectos frente a los monads explícitos como diferentes sintaxis para la misma semántica subyacente. Incluso con I/O, referencias de heap y todas las características de lógica funcional, todo en nuestro lenguaje Verse con anotaciones de efectos se puede traducir a monads de Haskell.
Ver originales