Yes indeed. <br><br><div class="gmail_quote">On Mon, Apr 20, 2009 at 3:42 PM, Jake McArthur <span dir="ltr">&lt;<a href="mailto:jake.mcarthur@gmail.com">jake.mcarthur@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sure, so hnf would give us a non-determined result, but I don&#39;t think that makes unamb any less referentially transparent – the same value is always returned, and always reduced at least to hnf.<br>
</blockquote>
<br></div>
I think it is hnf that Peter was talking about needing to be in IO, not unamb.<br><font color="#888888">
<br>
- Jake<br>
</font></blockquote></div><br>