concurrency (was Re: Priorities)
ganesh at earth.li
Fri Feb 3 05:16:10 EST 2006
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.
More information about the Haskell-prime