[Haskell-cafe] REALLY simple STRef examples

[Chad Scherrer]

The IO monad hasn't given me too much trouble, but I want to be sure
to structure things the way "they should be". If I get everything
running using IO first and then have type-checking problems with ST,
it will be tempting to just slap on an unsafePerformIO and call it
good. Sure, it's really doing the same thing anyway, but it just comes
out looking like a hack.

On 7/20/06, Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:
> Hello Chad,
>
> Friday, July 21, 2006, 12:26:58 AM, you wrote:
>
> > Ok, I see now why the return is necessary.
>
> btw, it may be helpful to read "IO inside" material. ST monad is not
> very different from IO monad - it only limited to operations on STRef
> and STArray, so that it can't have side-effects visible outside of
> runST statement used to run ST computation
>