Proposal: Max and Min for Monoid

Daniel Fischer daniel.is.fischer at web.de
Fri Sep 24 10:59:22 EDT 2010


On Friday 24 September 2010 16:39:21, Edward Kmett wrote:
> If you want a more uniform factoring, then at the risk of further
> exploding the number of options under consideration, there is an obvious
> choice:
>
> class Semigroup s where
>    sappend :: s -> s -> s

I think mappend was a bad choice of name for the monoid operation, but 
we're probably now stuck with it.
But do we need to continue that naming pattern?

Pro: it's like what we have for monoid
Con: it's ugly and unintuitive (you don't append numbers if you add or 
multiply them)

What about 'combine'?


More information about the Libraries mailing list