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