I don't have much of a practical opinion regarding STM either, other than it being a cool feature that people brag about being tightly integrated with Clojure and Haskell. And these are the types of things we want people bragging about Nimrod for:-). I'm trying to think of things we need to get more wide spread adoption. Nimrod is a very nice language, I want it to have a vibrant community.