Objections to runAtomically
ger at tzi.de
Thu Oct 17 12:26:56 EDT 2002
Alastair Reid wrote:
> It assumes that side effects can be linearized. Every theory of
> concurrency I know of makes the same assumption.
I don't know if the Java Language Specification counts as a "theory of
concurrency" but you will find if you check that side effects are *not*
linearised in that language. This is also true of the Java Virtual
Machine. Thus it would be a problem if, say, someone were to compile
Haskell to JVM.
More information about the FFI