
30 Jun
2009
30 Jun
'09
1:04 p.m.
On Tue, Jun 30, 2009 at 9:50 AM, David Leimbach
I actually worry that this will make people think, more incorrectly, that Monoids are about appending stuff only.
I think that adding a graphical operator as a synonym for mappend would actually help to address that, since the magic word "append" would no longer be nearly as common in source code, and that textual name certainly is (unhelpfully) suggestive of a specific semantics.