haskell - 函数 len 中的非详尽模式

Question

我正在编写这个函数 len，它计算 GHCi 中列表的长度。

len [] = 0
len [x] = 1
len (x:xs) = 1 + len xs

我试图用[]作为参数调用该函数，但错误Exception: Non-exhaustive patterns in function len击中了我。我不是已经在函数定义中包含了空列表案例吗？

Answer 1

正如 chi 在评论中所说，GHCi 不是那样工作的。

您可以使用分号在 GHCi 中输入多部分定义，如下所示：

长度 [ ] = 0 ; 长度 (x:xs) = 1 + 长度 xs

（单项列表的情况由第二部分处理，因为[x] == x : []）

Answer 2

扩展 Paul 的答案，您还可以使用 :{, :} 在 ghci 中编写多行定义

例如。

:{
len [] = 0
len (x:xs) = 1 + len xs
:}