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

Brian Hulley wrote:

hidden away in the definition of their API function to create a label, is a call to (ref 0) !!!! ;-) The equivalent implementation in Haskell would completely destroy all hope of using this in a pure context and force all use of the API into the IO monad.

Really? I would have thought this is a job for the ST monad, in which case the API can be wrapped up in a runST or similar; no need for leaking IO monads. Or am I missing something? Regards, Martin My music: http://www.youtube.com/user/thetonegrove (please visit!)