<div dir="ltr"><div><div>Pardon me, but going back a bit where the blog about switching to immutable lists was mentioned...I saw an interesting comment about immutability and eq?.  Have any mathematicians come up with an answer for the meaning of eq? on permanently distinct but equivalent and immutable objects, e.g. (eq? (cons 3 2) (cons 3 2))?  What about on immutable objects that have mutable internal state, e.g. memoizing functions?  Naive-but-memoized (fib 1000) is not necessarily the same as (fib 1000), unless the answer doesn't depend on the number of universes that have bigbanged meanwhile.<br>
</div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 7, 2014 at 2:31 PM, Daniel Carrera <span dir="ltr"><<a href="mailto:dcarrera@gmail.com" target="_blank">dcarrera@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 dir="ltr">Thanks.</div><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="">On 7 March 2014 20:22, Harry Spier <span dir="ltr"><<a href="mailto:vasishtha.spier@gmail.com" target="_blank">vasishtha.spier@gmail.com</a>></span> wrote:<br>

</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=""><div dir="ltr">See also this previous thread on the Racket list.<div class="gmail_quote"><div dir="ltr">
<div dir="ltr">
<div style="font-size:12pt;font-family:'Calibri'">
<div><a title="http://www.mail-archive.com/users%40racket-lang.org/msg12161.html" href="http://www.mail-archive.com/users%40racket-lang.org/msg12161.html" target="_blank">http://www.mail-archive.com/users%40racket-lang.org/msg12161.html</a></div>



<div> </div>
<div> </div></div></div></div>
</div><br></div>
<br></div><div class="">____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></div></blockquote></div><div class=""><br><br clear="all"><div><br></div>-- <br>When an engineer says that something can't be done, it's a code phrase that means it's not fun to do.<br>
</div></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>