Haskell：阶乘函数中的非详尽模式

Question

我已尝试在GHCi中实现递归因子函数，但我收到以下错误：

Prelude> fact n = n * fact (n-1)
Prelude> fact 0 = 1
Prelude> fact 1
*** Exception: <interactive>:2:1-10: Non-exhaustive patterns in function fact

这是从哪里来的，以后如何避免这个错误？

Answer 1

正如人们在评论中指出的那样，GHCi 8中单行的定义取代了之前的任何定义。如果要输入多模式定义，则需要使用特殊的:{和:}代码来启动和结束多行命令。所以，以下工作正常：

Prelude> :{
Prelude| fact 0 = 1
Prelude| fact n = n * fact (n-1)
Prelude| :}
Prelude> fact 10
3628800
Prelude> 

（请注意，这仅适用于GHCi 8，而不适用于7。）

另外，请注意定义中的顺序。在Haskell中，模式的顺序很重要，因此如果您首先尝试匹配fact n，它将始终匹配，因此永远不会使用您的fact 0模式。

编辑：对于GHCI 7，您需要使用let语法和适当的缩进来输入多模式定义：

Prelude> :{
Prelude| let fact 0 = 1
Prelude|     fact n = n * fact (n-1)
Prelude| :}
Prelude> fact 10
3628800
Prelude>