高阶函数和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和onVault2 等级2类型 。

{-# 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 sa) -> a要求传递的动作在状态线程参数s是多态s ，这是用于确保纯度的类型级别的技巧。 有关详细信息，请参见HaskellWiki上的ST monad文章 。