So this is the true barrier to entry to STM: it requires a radical, deep, fundamental change in how people program, in order to work. Writing massively-paralle

So this is the true barrier to entry to STM: it requires a radical, deep, fundamental change in how people program, in order to work. Writing massively-parallel code requires a radical, deep, fundamental change in how most people program. I don't think there's any getting around that. STM seems to work pretty well in Clojure, which uses mutable references to immutable values exactly as the author describes. It does require a different programming style from imperative languages, and doesn't pretend to have a way around that.