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
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
