Re: Adding Applicative/Functor instances to all Monads in GHC

Also +1. On 16.05.2013 16:39, Edward A Kmett wrote:

+1

It is about time we finally ripped off this bandaid.

I look forward to the day when I can shed half of the combinators I write in some libs.

-Edward

On May 16, 2013, at 10:19 AM, David Luposchainsky wrote:

...

On 2013-05-16 16:09, Bas van Dijk wrote:

...

Note that I already did this once as part of: http://hackage.haskell.org/trac/ghc/ticket/4834 However, that never got merged.

That's certainly going to be useful, although the patches may be hard to use due to their age now.

I don't want to make this discussion about how useful/probable the new hierarchy proposal change would be, but now that there's a new Haskell Prime team, I thought it would be a good time to get unecessary obstacles out of the way before we even try. If adding Applicatives to GHC works out, we'll have to test how much of Hackage requires similar fixes, and when that is satisfyingly patched up, we can begin to think about retrying your proposal.

David

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@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@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/