Haskell STM檢查函數返回undefined

Question

爲什麼Contol.Concurent.STM函數庫中的check函數的類型爲Bool -> STM a並且成功返回undefined而不是類型Bool -> STM()有充分的理由嗎？事情是這樣實現的類型檢查器政體編譯DO塊與check foo結束只有在運行時用*** Exception: Prelude.undefined失敗。

Answer 1

它看起來像是一個GHC PrimOp的佔位符定義，就像編譯器用實際原始實現代碼替換的「定義」seq _ y = y一樣。 PrimOp implementation of check接受一個表達式並將其添加到STM invariants paper中描述的全局不變量列表中。

下面是該文件修改的超人爲的例子，以適應新類型的check：

import Control.Concurrent.STM 

data LimitedTVar = LTVar { tvar :: TVar Int 
         , limit :: Int 
         } 

newLimitedTVar :: Int -> STM LimitedTVar 
newLimitedTVar lim = do 
    tv <- newTVar 0 
    return $ LTVar tv lim 

incrLimitedTVar :: LimitedTVar -> STM() 
incrLimitedTVar (LTVar tv lim) = do 
    val <- readTVar $ tv 
    let val' = val + 1 
    check (val' <= lim) 
    writeTVar tv val' 

test :: STM() 
test = do 
    ltv <- newLimitedTVar 2 
    incrLimitedTVar ltv -- should work 
    incrLimitedTVar ltv -- should work still 
    incrLimitedTVar ltv -- should fail; we broke the invariant 

現實，這將是斷言共享狀態不變有用的，失敗的斷言可能是一個跡象暫時的不一致。那麼你可能要與不變成爲實現再最終的期望，重試，但由於這個例子捲起永久打破不變的，它只是調用retry永遠似乎掛起。查閱這篇論文可以找到更好的例子，但請記住，該類型自發布以來已經發生了變化。