¿En qué se diferencia Clojure STM de Haskell STM?

¿Qué ventaja ofrece la nueva característica, bloque "sincronizado" en C++?

haskell - Memoria transaccional del software-Ejemplo de composibilidad - edu.lat

language agnostic - ¿Alguna experiencia real usando la memoria transaccional de software?