haskell - 递归函数中缺少模式匹配

Question

我刚开始学习 Haskell，在编写基本函数时遇到问题。

这个函数应该告诉我前一个元素比当前元素大的数组元素有多少。这是代码:

countIncreases :: (Ord a, Num b) => [a] -> b -> b
countIncreases [x] c = c
countIncreases (x:y:r) c 
  | y > x = countIncreases (y:r) (c+1) 
  | otherwise = countIncreases (y:r) c

我尝试用它来测试

countIncreases [1,2] 0

我将所有这些代码粘贴到 ghci 中，但出现错误

Non-exhaustive patterns in function countIncreases

不过我认为该案例所需的所有模式都是匹配的:

1. 第一个迭代:x = 1、y = 2、r = [] 和 c = 0。 2 > 1 所以我们进入第一个分支并调用 countIncreases (2:[]) (0 + 1)
2. 第 2 次迭代:c = 1 所以返回 1

我做错了什么？

Answer 1

如果您运行您的函数，它不会产生错误，但是如果您在打开 -Wincomplete-patterns 的地方编译代码，并将警告视为错误(-Werror ), 会报错。

发生这种情况的原因是你不能用空列表运行这个函数。实际上，如果您使用空列表调用它，[x] 和 (x:y:r) 模式都会失败。

如果你计算增加项的数量，那么对于一个空列表，没有这样的元素，所以你可以这样实现:

countIncreases :: (Ord a, Num b) => [a] -> b -> b
countIncreases <strong>[]</strong> c = c
countIncreases <strong>[_]</strong> c = c
countIncreases (x:r@(y:_)) c 
  | y > x = countIncreases r (c+1) 
  | otherwise = countIncreases r c