[Haskell-cafe] Is it possible to change the environment (reader) in applicative style?
roehst at gmail.com
Tue Sep 25 00:00:36 UTC 2018
Hi, I found a paper from the Greats exactly about desugaring monads
The type of >>= allows the second computation (f b) to depend on
the result a of the first, whereas <*> does not. This is the essence
of the difference between Monad and Applicative; Monad allows
dependencies on previous results, whereas Applicative does not.
"Desugaring Haskell’s do-Notation into Applicative Operations" by
marlow, SPJ, kmett and mokhov
More information about the Haskell-Cafe