Proposal: Add default instances for Functor and Applicative
Maciej Marcin Piechotka
uzytkownik2 at gmail.com
Sat Sep 24 08:50:28 CEST 2011
On Fri, 2011-09-23 at 23:46 +0100, Duncan Coutts wrote:
> On 23 September 2011 21:25, Maciej Marcin Piechotka
> <uzytkownik2 at gmail.com> wrote:
> > The problem of backward compatibility have been the main obstacle
> > against adopting Functor f => (Pointed f =>?) => Applicative f => Monad
> > f.
> > This proposition is to add following default instances:
> Sorry, I'm confused! The  link is about default superclass
> instances, not default signatures. As I understand it, default
> superclass instances are not implemented yet.
Ups. You're right.
> I fully support the general aim and default superclass instances look
> like a very sensible way of addressing the problem. It's just not
> clear to me how the default signatures you're suggesting here get us
> closer to the goal.
> Perhaps you can explain it a bit more. I suspect other people on this
> list don't quite get it either.
More information about the Libraries