Scala has great STM in the same way (monad-based).