[Haskell-cafe] Proposal: Applicative => Monad: Call for consensus

[Ozgur Akgun]

On 25 January 2011 09:20, Ketil Malde <ketil at malde.org> wrote:

>  (+3) <$> readLn
>

This is how I'd like it.

import Control.Applicative(pure,liftA2)

main = print =<< pure 3 <+> readLn
  where (<+>) = liftA2 (+)

Just a matter of taste I suppose. And about auto-lifting, I vaguely remember
reading something about possible different denotations it could lead to, but
I can't find it now.

Ozgur
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110125/ae134320/attachment.htm>