Re: Is it possible to change the environment (reader) in applicative style?
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
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.