
17 Sep
2009
17 Sep
'09
8:52 p.m.
On Thu, Sep 17, 2009 at 9:37 AM, Ross Paterson
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.