<div dir="ltr">That's a reasonable convention, Marco, but clearly can't apply everywhere.  The <i>copy</i> method, for example, will (usually) create a new object.  But I don't know of a commonly-accepted conventional symbol for <i>copy</i>.</div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jul 17, 2014 at 2:55 PM, Marco Servetto <span dir="ltr"><<a href="mailto:marco.servetto@gmail.com" target="_blank">marco.servetto@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 18 July 2014 09:40, Kim Bruce <<a href="mailto:kim@cs.pomona.edu">kim@cs.pomona.edu</a>> wrote:<br>

> nfusing that both have essentially the same type (and otherwise look very<br>
> similar).  This requires very good comments (and the user to read them!) to<br>
> understand when the operation is a mutates the current data structure and<br>
> when it results in a new one.  I'm not sure what the right answer is (don't<br>
> worry about chaining operations?), but it seems like it would be confusing,<br>
> espe<br>
<br>
<br>
</div>To make clear when an operation create a new list and when it modify<br>
the current one, you could use the following easy to remember<br>
convention:<br>
- symbolic operators create new lists<br>
- alphanumeric methods modify the current one<br>
</blockquote></div><br></div>