Alastair Reid wrote:
[snip]
> It assumes that side effects can be linearized. Every theory of
> concurrency I know of makes the same assumption.
[snip]
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.
_______________________________________________
FFI mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/ffi
