palm mute wrote:
> C>Теперь понятнее?
> Немного понятнее, только мы о разном говорим.
> Ты описываешь проблему, которая возникает в /твоей собственной
> реализации/ механизма транзакций. Я рассматриваю STM как абстракцию,
> реализованную в библиотеке/языке/рантайме.
Какая разница? Стандартный рантайм магическими способностями не обладает.

> Если будет время, опиши, пожалуйста, задачу, а не реализацию. Хорошо бы
> в таком виде, чтобы решение можно было набросать за пару часов. Самому
> интересно, решается ли она с помощью хаскелловской реализации STM.
Задача простая:
1) Дан обычный линейный однонаправленый список.
2) Необходимо придумать механизм транзакций, чтобы можно было поменять
элемент из середины списка, не влияя на клиентов вне транзакции.
3) Этот механизм не должен приводить к копированию списка.