InfoQ: Microsoft’s Experiments with Software Transactional Memory Have Ended

InfoQ: Microsoft’s Experiments with Software Transactional Memory Have Ended
I eventually shifted focus to enforcing coarse-grained isolation through message-passing, and fine-grained isolation through type system support a la Haskell’s state monad.
...
I took this path not because I thought TM had no place in the concurrency ecosystem. But rather because I believed it did have a place, but that several steps would be needed before getting there.