list - 函数中的非详尽模式 (Haskell)

Question

这个问题已经有答案了:

Non exhaustive pattern in function in GHCi (2 个回答)

How do I use multiple where clauses in GHCi? (2 个回答)

Function definition by special cases in GHCi (2 个回答)

已关闭 5 年前。

我有两个代码片段抛出相同的错误:

Prelude> sum' [] = 0
Prelude> sum' (x:xs) = x + sum' xs
Prelude> sum' [1,2,3,4,5]
*** Exception: <interactive>:142:1-25: Non-exhaustive patterns in function sum'

还有以下内容:

Prelude> prod [] = 1
Prelude> prod (x:xs) = x * (prod xs)
Prelude> prod [1,2,3,4,5]
*** Exception: <interactive>:139:1-27: Non-exhaustive patterns in function prod

我肯定错过了一个模式，但它是什么？另外，出现这样的错误我该怎么办？使用模式匹配定义函数时我应该如何思考？ (我要求一种方法/技术)

Answer 1

要创建具有模式匹配的函数，或在 ghci 命令行中使用多行，您应该使用 {} 并在您的情况下使用 ; 分隔:

Prelude> let { sum' [] = 0 ; sum' (x:xs) = x + sum' xs }
Prelude> sum' [1,2,3,4,5]
=> 15

否则，您将仅将一个方程(在本例中为最后一个方程)绑定(bind)到函数名称 sum'，这就是模式匹配失败的原因