2 ms·

This is a well-known problem...

• hinkley 7y ago
  One of the things I know Simon Peyton Jones spent a great deal of time looking at during his time at Microsoft Research was Software Transactional Memory, and in all of the videos I saw he emphasized the composability problem. I don't think it would be particularly wrong to assert that he spent about ten years thinking about this problem. Might still be for all I know. Interesting that his wikipedia page doesn't seem to mention it. I'm a little sad that STM didn't seem to pan out, but maybe someone will try again someday on top of a Rust-like object ownership semantics (some sort of escape analysis for shared stated).