[Haskell-cafe] Type system madness

[Stefan O'Rear]

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. :-)

Stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070712/95a606ac/attachment.bin