2014 Applicative => Monad proposal

Andreas Abel andreas.abel at ifi.lmu.de
Fri May 24 17:13:18 CEST 2013


+1 AMP
+1 MINIMAL
+1 Pointed in base

On 24.05.2013 03:39, John Lato wrote:
> +1 for AMP (with or without DefaultSignatures)
> +1 for MINIMAL pragma
>
>
> On Fri, May 24, 2013 at 8:26 AM, Dan Burton <danburton.email at gmail.com
> <mailto:danburton.email at gmail.com>> wrote:
>
>     I think that removing return from the Monad class and making it an
>     alias of pure is the Right Thing to Do, but not yet. The proposal,
>     as it stands, is very tasteful about how little it breaks. Let's
>     keep `return = pure` on the back-burner for a while.
>     _______________________________________________
>     Libraries mailing list
>     Libraries at haskell.org <mailto:Libraries at haskell.org>
>     http://www.haskell.org/mailman/listinfo/libraries
>
>
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/



More information about the Libraries mailing list