[Haskell-cafe] Type system madness

[Henning Thielemann]

On Tue, 10 Jul 2007, Jonathan Cast wrote:

> On Tuesday 10 July 2007, Andrew Coppin wrote:
> > Stefan O'Rear wrote:
>
> > > Consider the ST monad, which lets you use update-in-place, but is
> > > escapable (unlike IO).  ST actions have the form:
> > >
> > > ST s α
> > >
> > > Meaning that they return a value of type α, and execute in "thread" s.
> > > All reference types are tagged with the thread, so that actions can only
> > > affect references in their own "thread".

What about putting the runST monad explanation to the Wiki? It seems to be
an FGA (frequently given answer). :-)