[Haskell-cafe] Language support for imperative code. Was: Re: monad subexpressions

Corey O'Connor coreyoconnor at gmail.com
Wed Aug 8 12:59:12 EDT 2007

On 8/8/07, Brian Hulley <brianh at metamilk.com> 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?

-Corey O'Connor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070808/30c9d489/attachment.htm

More information about the Haskell-Cafe mailing list