orElse的"else“部分是在一个事务由于另一个事务写入它已读取的TVar而被重试时调用的,还是仅在retry被显式调用时调用?
发布于 2012-04-11 15:28:00
如果你有
orElse a b
那么,只有在a中显式调用retry时,才会运行b。否则,orElse本质上将变得不确定。(由STM运行时完成的事务的重新运行是透明的,不应影响任何计算的结果。)
https://stackoverflow.com/questions/10101044
复制相似问题