18 Oct
2002
18 Oct
'02
12:26 a.m.
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.