<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div><div>This is an excellent point. I change my vote to using the / operator (wait, do I even any right to vote not his?).</div><div><div><br><div><div>On Oct 9, 2012, at 9:30 AM, Michele Lacchia wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><br><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">> 
<br>> A reason *not* to use '+' is that it would violate associativity
<br>> in some cases, e.g.
<br>> 
<br>>   (path + "foo") + "bar"
<br>> 
<br>> would not be the same as
<br>> 
<br>>   path + ("foo" + "bar")
<br>> 
<br>
<br>
<br>I am missing something. Why not?
<br></blockquote><div><br></div><div>Because the result would be (respectively): <i>path/foo/bar</i> and <i>path/foobar</i>.</div><div>In the second example the two strings would be concatenated and only</div><div>then joined to the path.</div><div>This is a very good argument against the + operator!</div></blockquote></div><br></div></div></div></div></body></html>