Haskell为何未报告1=2的匹配错误？与Erlang/Elixir行为差异

这个问题问得特别戳中跨语言学习者的痛点——从Erlang/Elixir转Haskell时，很容易把两种语言里的=符号当成同一个东西，但它们的语义其实天差地别！

先搞清楚Erlang/Elixir里=的作用 #

在Erlang和Elixir中，=是匹配运算符：它的核心是检查左右两边的表达式是否能匹配。比如1 = 2，就是在验证右边的2是否能和左边的1这个字面量模式匹配，显然不匹配，所以直接抛出MatchError，这完全符合预期。

再看Haskell里=的本质 #

Haskell中的=和匹配完全不沾边——在顶层（包括GHCI的交互环境），=的作用是定义绑定：把右边的值绑定到左边的标识符上。

那为什么输入1 = 2没有报错？
因为1不是一个可以被重新绑定的变量，而是Haskell内置的不可变常量。GHCI遇到这种试图给常量重新赋值的无效请求时，会直接忽略这个操作，不会有任何提示。

你可以对比一下：如果输入x = 2，GHCI会成功绑定变量x，之后输入x就会返回2；但1是语言内置的固定值，GHCI不会处理这种无效的绑定请求，所以静默跳过了。

想在Haskell里做类似的匹配检查怎么办？ #

如果要模拟Erlang/Elixir的匹配行为，你需要用显式的模式匹配语法，比如case表达式：

-- 检查2是否匹配1的模式
case 2 of
  1 -> "匹配成功"
  _ -> "匹配失败"

执行后会返回"匹配失败"。如果想让不匹配时抛出错误，可以改成：

case 2 of
  1 -> ()
  _ -> error "MatchError: 右边的值无法匹配左边的模式"

这时候GHCI就会抛出类似Erlang/Elixir的错误提示。

另外，在函数定义里的模式匹配如果不覆盖所有情况，也会抛出运行时错误：

-- 只定义了匹配1的情况
f 1 = "Hello"

调用f 2时，就会得到Non-exhaustive patterns in function f的错误，这和Erlang/Elixir的匹配错误本质是一样的。

内容的提问来源于stack exchange，提问作者CIrvine