高階函數和ST

Question

我玩http://hackage.haskell.org/packages/archive/vault/0.2.0.0/doc/html/Data-Vault-ST.html和想寫類似以下功能：

onVault f = runST (f <$> Vault.newKey) 
onVault2 f = runST (f <$> Vault.newKey <*> Vault.newKey) 

等。如果我與那些不接受參數並調用特定的功能，而不是替換這些功能的f，它的工作原理，但這些高階函數不會輸入檢查。

這是怎麼回事，我能解決它嗎？

Answer 1

您需要給onVault和onVault2rank 2 types。

{-# LANGUAGE Rank2Types #-} -- RankNTypes would also work 

onVault :: (forall s. Key s a -> b) -> b 
onVault2 :: (forall s. Key s a -> Key s b -> c) -> c 

這是因爲runST :: (forall s. ST s a) -> a要求傳遞動作處於狀態螺紋參數s，這是用來保證純度類型級特技多態性。詳情請參閱the ST monad article on HaskellWiki。