Re: Discuss changing the behaviour of append()
- Posted by gimlet Jun 22, 2014
- 3325 views
So, Jim,
Associativity doesn't require identity?
Is that what you are saying?
Well, no it doesn't - did I say it did?
But "Hello World!" & "" = "Hello World!"
or didn't you notice?
If A append B is not a monoid then|| (OK: you have your own (rather (beautiful??) operator))
But what have you proved to the world?
I think Jim,
that what you have proved is that (mostly, you are talking BS).
