使用 where 嵌套函数定义中的 Haskell 范围

Question

我对 Haskell 在 where 定义中的作用域有疑问。当我有以下函数f，我想将x 传递给本地定义的函数f1 而不明确地将其用作参数时，我收到一个错误，指出x 的类型与f1 的输出中的那个，虽然应该是一样的：

f :: 等式 a => a -> [a] f x = f1 x 在哪里 f1 :: Eq a => a -> [a] f1 y = [ x, y ]

错误如下：

无法将预期类型“a1”与推断类型“a”匹配 `a1' 是一个刚性类型变量，由 test.hs:4:11 中“f1”的类型签名 `a' 是一个刚性类型变量，由 `f' 在 test.hs:1:8 的类型签名 在表达式中：x 在表达式中：[x, y] 在 `f1' 的定义中： f1 y = [x, y] 失败，加载模块：无。

但是，当我将 x 作为附加参数传递时，就像我在下面的代码中使用函数 g 所做的那样，它可以正常工作：

g :: Eq a => a -> [a] g x = g1 x x 在哪里 g1 :: Eq a => a -> a -> [a] g1 x y = [ x, y ]

有没有办法让f 中的a 类型与f1 中的a（或a1）类型兼容？

Answer 1

戴夫就在上面。另一种思考方式是，即使您的两个类型签名都引用变量a，它实际上并不是同一个类型变量。在 Haskell-prime 表示法中，两个签名都可以更明确地写成：

forall a . Eq a => a -> [a]

意味着对于 both 函数，它们可以接受任何类型的参数（在 Eq 内）。这显然不是这里的情况。在标准的 Haskell 98 中，唯一的选择是放弃 f1 的类型签名。但是 GHC（和其他人？）支持lexically scoped type variables。所以你可以写

{-# LANGUAGE ScopedTypeVariables #-}

f :: forall a. Eq a => a -> [a]
f x = f1 x
    where
        f1 :: a -> [a]
        f1 y = [ x, y ]

这样就可以了。

Answer 2

您的代码的问题在于本地范围的 f1 类型签名。它指定 f1 可以采用任何类型

f1 :: Eq a => a -> [a]

尽管这是一个本地函数，但您已经将此函数概括为能够采用 f 中不存在的类型，无论此函数接收到来自 f 的什么，因此类型签名是不必要的。

只需删除 f1 类型签名即可。

编辑：把我的帖子读给自己听，有点不清楚。 f1 中的 a 是可以接受任何内容的参数化类型，但传递给它的参数已经绑定在 f 中。所以这个函数只能接收它的父函数接收的东西，你给它的类型签名打破了这个规则。希望这更清楚一点。