<br><br><div><span class="gmail_quote">On 8/8/07, <b class="gmail_sendername">Brian Hulley</b> &lt;<a href="mailto:brianh@metamilk.com">brianh@metamilk.com</a>&gt; wrote:</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Regarding the quote above, if the API must hide explicit memory control<br>from the user the only way I can see of doing this would be to use<br>(unsafePerformIO), which really is unsafe since Haskell relies on the<br>fact that mutable operations can&#39;t escape from the IO monad in order to
<br>get away with not having to impose a value restriction as in ML.</blockquote><div><br>My theory is weak. Can somebody point me the way to educate myself about the &quot;value restriction&quot; in ML? <br></div>Thanks!
<br>-Corey<br></div><br clear="all"><br>-- <br>-Corey O&#39;Connor