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