<html><body bgcolor="#FFFFFF"><div>You still need IO to get the stable name out to use. :)<br><br>Sent from my iPad</div><div><br>On Sep 23, 2011, at 5:33 AM, Sean Leather <<a href="mailto:leather@cs.uu.nl">leather@cs.uu.nl</a>> wrote:<br><br></div><div></div><blockquote type="cite"><div>Hi Edward,<br><br><div class="gmail_quote">On Thu, Sep 22, 2011 at 16:50, Edward Kmett wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">I have a "stable-maps" package that provides lookup and inserting into a map via stable names.</blockquote>
</div><br><div>The paper mentions the need for a mutable finite map, and all the operations are IO. Do you know why this is and what's different with your pure implementation?</div><div><br></div><div>Regards,</div><div>
Sean</div>
</div></blockquote></body></html>