On 8/8/07, Brian Hulley <[EMAIL PROTECTED]> wrote: > Regarding the quote above, if the API must hide explicit memory control > from the user the only way I can see of doing this would be to use > (unsafePerformIO), which really is unsafe since Haskell relies on the > fact that mutable operations can't escape from the IO monad in order to > get away with not having to impose a value restriction as in ML.
My theory is weak. Can somebody point me the way to educate myself about the "value restriction" in ML? Thanks! -Corey -- -Corey O'Connor
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe