Re: [tlug] STM (was: Re: work times & accommodation @tokyo)

["Stephen J. Turnbull" <stephen@example.com>]

Curt Sampson writes:

 > By the way, thinking about the issue more, I'm going to go out on a
 > (apparently rather strong) limb and posit that Java simply cannot
 > have an STM system like Haskells, where you combine separate
 > operations and those combinations are checked for locking errors at
 > compile time.  I just don't see any way that the language could
 > support it. I'm willing to be proven wrong, of course.

I don't see why the optimistic execution strategy described in
Beautiful Code couldn't be used in Java, though since as described
there (it uses pointers) it might be hard to implement *in* Java.