12 Jul
2007
12 Jul
'07
3:18 a.m.
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