Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/haskell/8.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Haskell 哈斯凯尔：特瓦尔：奥莱尔斯_Haskell_Concurrency_Ghc_Stm_Tvar - Fatal编程技术网
Fatal编程技术网
  • haskell/
  • Haskell 哈斯凯尔：特瓦尔：奥莱尔斯

Haskell 哈斯凯尔：特瓦尔：奥莱尔斯

haskell concurrency

Haskell 哈斯凯尔：特瓦尔：奥莱尔斯,haskell,concurrency,ghc,stm,tvar,Haskell,Concurrency,Ghc,Stm,Tvar,由于另一个事务写入它已读取的TVar而重试某个事务时，是否调用了的“else”部分，或者仅当显式调用时才调用？如果已 奥利斯a b酒店 然后，只有在a中显式调用了retry时，才会运行b。否则，orElse将本质上变得不确定性。（STM运行时完成的事务的重新运行是透明的，不应影响任何计算的结果。）

由于另一个事务写入它已读取的
TVar
而重试某个事务时，是否调用了的“else”部分，或者仅当显式调用时才调用？

如果已

奥利斯a b酒店

然后，只有在
a
中显式调用了
retry
时，才会运行
b
。否则，
orElse
将本质上变得不确定性。（STM运行时完成的事务的重新运行是透明的，不应影响任何计算的结果。）