为什么此功能在 runghc 中有效，但在 ghci 中无效？ [复制]

Question

如果我运行以下文件：

ll []     = 0
ll (x:xs) = 1 + ll xs
main = putStrLn (show (ll [2,2,2]))

使用 runghc，它可以工作并打印 3。

在 ghci 中，我得到：

ghci> let ll [] = 0
ghci> let ll (x:xs) = 1 + ll xs
ghci> ll [3,4,43,9]
*** Exception: <interactive>:23:5-25: Non-exhaustive patterns in function ll

上面的代码在 ghci 中无法运行的原因是什么？需要进行哪些更改才能使其发挥作用？

Answer 1

运行 ghci 时，您键入的所有内容都在 IO monad 中，因此您需要额外的 lets（您确实包含）。然而，这会导致复杂性。

每次使用“let”时，您都在重新定义函数。唯一重要的是最后一个

let ll (x:xs) = 1 + ll xs

所以你错过了另一个案例

let ll [] = 0

但是你可以在同一行定义两个，像这样

let ll [] = 0; ll (x:xs) = 1 + ll xs