Proposal #3339: Add (+>) as a synonym for mappend
naesten at gmail.com
Thu Sep 17 16:52:17 EDT 2009
On Thu, Sep 17, 2009 at 9:37 AM, Ross Paterson <ross at soi.city.ac.uk> wrote:
> This proposal seems to have got stuck. Everyone wants an infix operator,
> but we can't agree what it should be.
> I prefer using a new operator instead of generalizing ++ (or +, *, &&
> or ||), because I think that a monoid operation is so abstract that it
> needs a name that doesn't suggest one of the special cases. (I like <>)
I agree. <> really seems to fit well, even if it *does* reinforce the
idea that Monoid is for gluing things together -- which, you know, it
really is rather good for.
More information about the Libraries