当模式匹配函数列表时，没有(Eq([a]->[a]))的实例
考虑以下代码：
step :: [[a] -> [a]] -> [[a]] -> [[a]]
step (f:fs) xss
| (fs == []) = yss
| otherwise = step fs yss
where yss = map f xss
它引发以下错误：
No instance for (Eq ([a] -> [a])) arising from a use of ‘==’
(maybe you haven't applied a function to enough arguments?)
|
3 | | (fs == []) = res
| ^^^^^^^^
fs 应该是一个函数列表或一个空列表，那么为什么编译器试图用它来制作一个函数呢？
回答
仅当可以检查列表的元素是否相等（ 的实例Eq）时，您才能检查列表是否相等。您可能认为这是无稽之谈，因为您正在与空列表进行比较，因此元素的值并不重要。但是在类型上，Haskell 将所有这些列表视为只是列表，并且不知道它是否为空，因此它不能让比较发生。
幸运的是，有一个专门用于此的函数：null :: [a] -> Bool检查列表是否为空：
step :: [[a] -> [a]] -> [[a]] -> [[a]]
step (f:fs) xss
| null fs = yss
| otherwise = step fs yss
where yss = map f xss
（免责声明：null实际上是为所有可折叠物品定义的，但出于我们的目的，您可以将其视为列表函数）
您还可以使用模式保护进行模式匹配（因为模式匹配可以识别空列表）：
step :: [[a] -> [a]] -> [[a]] -> [[a]]
step (f:fs) xss
| [] <- fs = yss
| otherwise = step fs yss
where yss = map f xss