Собственно наткнулся на сабж. Software Transactional Memory вещь довольно популярная в последнее время, но не помню чтобы речь шла о реализации её не на хаскеле.