[Haskell-cafe] Type system madness

[Henning Thielemann]

On Thu, 12 Jul 2007, Stefan O'Rear wrote:

> On Thu, Jul 12, 2007 at 09:12:14AM +0200, Henning Thielemann wrote:
> >
> > 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). :-)
>
> I think it already is, in the Research Papers section. :-)

I put your paragraph there:
 http://www.haskell.org/haskellwiki/Monad/ST