GHCi中模式匹配运行函数触发非穷尽模式异常的原因

这个异常是两个错误共同导致的：

• 首先是GHCi的输入特性问题：你逐行在GHCi命令行下输入多模式函数时，如果没有用:{和:}包裹成多行代码块，每输入一行同名函数的定义，都会直接覆盖之前的所有同名定义，不会追加为新的匹配分支。你输完四行代码后，oof函数实际上只保留了最后一行的规则：仅匹配长度≥2的列表，逻辑是丢弃列表前两个元素，把剩下的部分传给foo处理。你之前写的空列表、单元素列表、特定双元素列表的三个匹配分支全被覆盖，根本不会生效。
• 其次是低级笔误：最后一行的右值你本来要写递归调用oof xs，结果错写成了foo xs。

实际执行oof [(3,7),(5,2)]的流程完全没按你预期走：

1. 这个长度为2的列表直接匹配到oof仅存的那条规则，前两个元素被通配符扔掉，剩下的xs是空列表[]
2. 代码转而执行foo []，但你环境里的foo函数没有写全匹配规则（大概率是之前试写代码时只定义了foo处理非空列表的分支，没覆盖空列表的情况），直接触发了非穷尽模式匹配的异常。

如果要得到你预期的结果，只需要做两个修正：

1. 在GHCi里输入多行定义时，先输:{回车，再粘贴所有函数定义行，最后输:}回车完成定义，避免模式被覆盖；或者把代码写到.hs源文件里再加载。
2. 把最后一行的foo xs改成oof xs，修正笔误。
   修正后执行oof [(3,7),(5,2)]就会正常匹配第三个分支，返回3*2=6。

内容的提问来源于stack exchange，提问作者Sten Göring