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

Ozgur Akgun ozgurakgun at gmail.com
Tue Jan 25 16:08:50 CET 2011

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.

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

More information about the Haskell-Cafe mailing list