在 where 子句中键入签名

Question

我编写了一个类似于 Data.Enumerator.List.map 的函数，它使 Iteratee 与提供不同 Enumerator 兼容>流类型。

import Data.Enumerator

test :: Monad m => (ao -> ai) -> Iteratee ai m b -> Iteratee ao m b
test f iter = go $$ iter
   where go (Continue k) = continue $
            \stream -> go $$ k (fmap f stream)
         go (Yield res _) = yield res EOF

如果我省略 go 的类型签名，这将工作得很好。 但是，我想包含它，但我无法确定正确的签名应该是什么。 我认为应该是这样的：

go :: Monad m =>步骤ai mb-> Iteratee ao m b

但这不起作用。
我需要一些关于为 go 找到正确类型签名的建议。

Answer 1

您可能无法按原样为 go 提供类型签名。

这样做的原因是它利用了 test 绑定的多态参数。这意味着，在 go 内部，标识符 f 的类型为 (ao -> ai)，用于一些特定但未知的< /em> 类型 ao 和 ai。

类型变量通常仅在引入它们的单个类型签名的范围内，因此当您为 go 提供其自己的类型签名时，ao 和 ai< /code> 有新的多态类型，当尝试将它们与 test 签名中名称相似但固定（且不可知）的类型组合时，这当然会导致类型错误。

最终的结果是你无法显式地写出go的类型，这不是很令人满意。为了解决这个问题，GHC 提供了 ScopedTypeVariables 扩展，它允许将类型签名中引入的变量引入函数的 where 子句中的范围内。

请注意，如果您仅使用 where 子句来创建定义的内部作用域，并且不使用由参数绑定到外部函数的标识符，则可以在 中编写类型签名where 子句就像顶级绑定一样。如果你不想使用GHC扩展，你可以简单地冗余地传递参数。在这种情况下，类似这样的事情应该起作用：

test :: Monad m => (ao -> ai) -> Iteratee ai m b -> Iteratee ao m b
test f iter = go f $ iter
  where go :: Monad m => (ao -> ai) -> Step ai m b -> Iteratee ao m b
        go f (Continue k) = continue $
             \stream -> go f $ k (fmap f stream)
        go _ (Yield res _) = yield res EOF

Answer 2

您可能需要该类型，但启用了 ScopedTypeVariables 扩展，并在范围内使用 test 类型签名中的变量：

{-# LANGUAGE ScopedTypeVariables #-}
import Data.Enumerator
test :: forall m ai ao b. Monad m => (ao -> ai) -> Iteratee ai m b -> Iteratee ao m b
test f iter = go $ iter
   where go :: Step ai m b -> Iteratee ao m b
         go (Continue k) = continue $
            \stream -> go $ k (fmap f stream)
         go (Yield res _) = yield res EOF

请参阅 GHC 文档了解更多信息。