Re: Is it possible to change the environment (reader) in applicative style?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: Is it possible to change the environment (reader) in applicative style?

Rodrigo Stevaux
Hi, I found a paper from the Greats exactly about desugaring monads
into applicatives:

  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.