Proposal #3339: Add (+>) as a synonym for mappend

Henning Thielemann lemming at henning-thielemann.de
Thu Sep 24 19:16:31 EDT 2009


On Thu, 17 Sep 2009, Ross Paterson 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 <>)

'<>' looks like "inequality" in other languages. Apart from that, the 
symbol looks fine to me, too.


More information about the Libraries mailing list