Здравствуйте, Курилка, Вы писали:

К>Собственно наткнулся на сабж. Software Transactional Memory вещь довольно популярная в последнее время, но не помню чтобы речь шла о реализации её не на хаскеле.
Самое смешное, что эта реализация использует монады. На первый взгляд, это порт оригинальной реализации STM на хаскеле:
http://www.pps.jussieu.fr/~li/software/stmlib/doc/html/Stm.html

val return : 'a -> 'a stm

Primitive to wrap a plain of type 'a value to a 'a stm, which when being executed, will produces the orignal value.

val bind : 'a stm -> ('a -> 'b stm) -> 'b stm

bind t f is a transaction, when executed, first behavior as transaction t, then feed the reture value to f to get the consecutive transaction to execute next.

val (>>=) : 'a stm -> ('a -> 'b stm) -> 'b stm

t >>= f is an alternative notation of bind t f

val (>>) : 'a stm -> 'b stm -> 'b stm

t1 >> t2 is equal to t1 >>= fun _ -> t2 which first execute t1 and wait for its result but ignore it, and then behaviors like t2
...