15 Jan
2009
15 Jan
'09
1:04 p.m.
Sittampalam, Ganesh wrote:
Lennart Augustsson wrote:
I think the documentation should be reasonably newbie-friendly too. But that doesn't mean we should call Monoid Appendable. Appendable is just misleading, since Monoid is more general than appending.
Then why does it have a member named 'mappend'? :-)
That's a mistake - and in fact, it's a good demonstration of why Monoid should not be named something like Appendable - because it misleads people into thinking that the structure is less general than it really is. Anton