haskell - Clojure STM 与 Haskell STM 有何不同？

Question

我试图找出 Clojure 所称的 STM 与 Haskell 中实现的 STM 之间的区别。撇开实际的语言语义差异不谈，正如 Rich Hickey 在他的演讲中所说，Clojure 的 STM 实现与其他任何东西都非常不同，但我不理解除了语言选择之外的差异。

Answer 1

Clojure STM 有 3 大独特的功能:

实现 MVCC 快照，避免在读取失效时重新启动事务。

确保对读写的引用提供了一种对资源获取顺序的手动控制。

具有显式通勤，可减少对可交换写入的重试。