8 Aug
2007
8 Aug
'07
12:59 p.m.
On 8/8/07, Brian Hulley
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