高阶函数和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。