为什么 Haskell 无法自动解析参数数量？ [复制]

Question

我是 Haskell 的新手，对以下行为感到困惑：

我有一个函数，叫做 dealWithIt。它看起来像这样：

dealWithIt :: (Show a) => [a] -> String
dealWithIt = foldl f ""
  where f memo x = memo ++ (show x)

一切都好，它按预期工作，它获取一个可显示的列表并将它们连接成一个字符串。

据我所知，我是否明确指定接收的参数并不重要，只要它可以传递给底层函数链即可。这意味着以下两个定义应该是等价的：

dealWithIt xs = foldl f "" xs
dealWithIt = foldl f ""

到目前为止一切顺利。假设我现在想通过模式匹配添加一个特殊情况：

dealWithIt [] = "Empty list :("

这就是事情变得奇怪的地方。如果我没有明确指定 xs 参数，我会收到以下错误：

Equations for ‘dealWithIt’ have different numbers of arguments

我可以接受它，但我真的很感兴趣，为什么 Haskell 无法检测到正在发生的事情并报告错误，即使两个变体都采用一个参数？

Answer 1

这只是一个规则。一个函数的case定义：

f p0 p1 = e0
f p2 p3 = e1

对于所有方程，左侧的函数参数中的模式数量必须相同。

部分是为了简化语言的定义； Haskell 标准根据 single case 表达式定义了该函数定义：

f x0 x1 = case (x0, x1) of
    (p0, p1) -> e0
    (p2, p3) -> e1

现在想想如果你能说会发生什么

f p0 p1 = e0
f p2 = e1 -- `e1` is a function

语言标准必须专门处理这种情况，并将其定义为类似

f x0 x1 = case (x0, x1) of
    (p0, p1) -> e0
    (p2, _) -> e1 x1 -- Note that the argument to `e1` has to be supplied explicitly

对于通常不明智的事情来说，这是不必要的并发症。

另外，考虑foldr的定义：

foldr f z [] = z
foldr f z (x:xn) = f x (foldr f z xn)

假设您在输入时忘记了第一个等式中的f：

foldr z [] = z
foldr f z (x:xn) = f x (foldr f z xn)

当前规则允许捕获这样的拼写错误：编译器可能会抱怨您在不同的方程式中有不同数量的参数。否则你会得到一些令人困惑的类型错误，这可能很难调试。 （可能你会得到一个错误，因为第一个等式中的z 必须与第二个等式中的f 具有相同的类型，并且第一个等式中的z 必须与f x (foldr f z xn) 中的类型相同第二个等式，因此foldr 的第一个参数必须具有无限类型。无限类型错误通常很难调试。）