<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>> (path + "foo") + "bar"
<br>> would not be the same as
<br>> path + ("foo" + "bar")
<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>