
24 Sep
2009
24 Sep
'09
11:16 p.m.
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.