“多重声明”模式与通配符匹配时出错

Question

出于学习目的，我尝试编写自己的 zipWith 函数实现。但是，我在使用 _ 的边缘情况下遇到了模式匹配问题。首先我将描述好的情况，然后描述坏的情况。希望有人能够解释为什么他们的行为不同。谢谢

如果我按如下方式编写 zipWith 函数，它就可以工作（注意第 2 行和第 3 行中与空列表匹配的边缘情况的顺序）：-

zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c]
zipwith' _ [] _ = []
zipWith' _ _ [] = []
zipWith' f (x:xs) (y:ys) = f x y : zipWith' f xs ys

在 GHCI 中编译：-

ghci> :l ZipWith.hs 
[1 of 1] Compiling Main             ( ZipWith.hs, interpreted )

好的，上面的没问题，但是如果我交换 GHCI 周围边缘情况的模式匹配，则会在第 2 行和第 4 行抛出“多重声明”错误。

zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith' _ _ [] = []
zipwith' _ [] _ = []
zipWith' f (x:xs) (y:ys) = f x y : zipWith' f xs ys

在 GHCI 中编译：-

ZipWith.hs:4:0:
    Multiple declarations of `Main.zipWith''
    Declared at: ZipWith.hs:2:0
                 ZipWith.hs:4:0
Failed, modules loaded: none.

我被难住了......

1. 看看第 2 行和第 4 行上的模式，它们似乎相互排斥，但我显然在这里遗漏了一些基本的东西，
2. 为什么切换第 2 行和第 3 行的模式会导致编译错误消失。

Answer 1

错误消息并不是抱怨模式重叠（在两个空列表的情况下，您的模式确实重叠，但这既不是问题，也不是问题），而是 zipWith 函数的多个定义。

原因是在第二种情况下，您有一个 zipWith 定义，后跟一个不相关的 zipwith 定义（请注意小写的 w )，后跟一个新的、相互冲突的 zipWith 定义。换句话说，这是一个简单的错字。 （我确实花了一段时间才看到——这是一个偷偷摸摸的打字错误）