concurrency (was Re: Priorities)

[Ganesh Sittampalam]

On Fri, 3 Feb 2006, Ross Paterson wrote:

> As another example, Ben Rudiak-Gould recently pointed out that the
> inclusion of stToIO breaks threaded state reasoning for ST, e.g.
> readSTRef won't necessarily get what your last writeSTRef wrote (because
> the region might be RealWorld, with other threads modifying it).

You can still reason about something of type ST s a, it's just with the 
proviso that the reasoning is only correct when it is (perhaps indirectly) 
invoked by runST.

Cheers,

Ganesh