Proposal: Make Semigroup as a superclass of Monoid

[Edward Kmett]

Well, it seems the consensus is high enough that we'll try to go ahead with
this. As it affects the Prelude, we may put out another poll / wider
broadcast just to avoid any appearance of ambushing folks with another
change to the Prelude without announcement, but I think at this point my
intent is to pick a path to make this happen.

-Edward


On Wed, Apr 29, 2015 at 8:51 AM, Stephen Tetley <stephen.tetley at gmail.com>
wrote:

> The consensus seems largely to favour the high level proposal to add a
> Semigroup class, but there hasn't been much discussion of the
> implementation details i.e. what to do about mappend or a
> Semigroup-like candidate (problematic for empty lists, of course).
>
>
>
> On 29 April 2015 at 12:24, Jeremy <voldermort at hotmail.com> wrote:
> > So what's the conclusion on this? We seem to have a strong consensus on
> going
> > ahead with the proposal, and a weaker consensus for doing so via the long
> > path.
> >
> >
> >
> > --
> > View this message in context:
> http://haskell.1045720.n5.nabble.com/Proposal-Make-Semigroup-as-a-superclass-of-Monoid-tp5767835p5808129.html
> > Sent from the Haskell - Libraries mailing list archive at Nabble.com.
> > _______________________________________________
> > Libraries mailing list
> > Libraries at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150429/8e0bfbe9/attachment.html>