12

orElse当由于另一个事务写入TVar它已读取的事务而重试事务时,是否调用“else”部分,或者仅在retry显式调用时调用?

4

1 回答 1

11

如果你有

或其他ab

then只有在被显式调用时b才会运行。否则本质上将变得不确定。(由 STM 运行时完成的事务重新运行是透明的,不应影响任何计算的结果。)retryaorElse

于 2012-04-11T07:28:00.027 回答