24 Sep
2010
24 Sep
'10
2:59 p.m.
On Friday 24 September 2010 16:39:21, Edward Kmett wrote:
If you want a more uniform factoring, then at the risk of further exploding the number of options under consideration, there is an obvious choice:
class Semigroup s where sappend :: s -> s -> s
I think mappend was a bad choice of name for the monoid operation, but we're probably now stuck with it. But do we need to continue that naming pattern? Pro: it's like what we have for monoid Con: it's ugly and unintuitive (you don't append numbers if you add or multiply them) What about 'combine'?