sum and strings

[Bryan Olson]

Paul Rubin wrote:
> Are you saying "abc"+"def" should not be concatenation?  I guess
> that's reasonable.

No, I'm definitely not saying that, or at least I didn't mean
that.

>  As long as + is string concatenation though, the
> principle of least astonishment suggests that "sum" should
> conconcatenate several strings.

Absolutely.

> I'm not sure what you mean by addition being symmetric or transitive;
> it is not an equivalence relation.  Do you mean commutative and
> associative?

Oops, yes, of course. Posting too late at night.


-- 
--Bryan