Haskell中ghci函数声明多变量重复绑定报错原因咨询

你遇到的错误核心是模式匹配中的变量绑定规则：Haskell里，模式里的变量是用来绑定新值的，而不是用来和已有变量做相等判断的。

看你写的这行代码：

element [x:_] x = True

这里的[x:_]是一个模式，它会匹配长度为1的列表，且这个列表的唯一元素是另一个非空列表（x:_匹配非空列表，x绑定这个子列表的第一个元素）。而后面的x是函数的第二个参数，这就导致同一个函数等式里出现了两个同名的绑定变量（模式里的x和参数x），Haskell不允许这种重复绑定，所以报错。

你的真实意图应该是检查列表的第一个元素是否等于目标值，但模式写错了：

• 如果你想匹配任意非空列表，应该用(x:xs)而不是[x:_]，后者是嵌套列表的模式。
• 要判断第一个元素和目标值相等，不能在模式里写，得用守卫或者直接在函数体里做相等比较。

修正后的写法（用守卫） #

Prelude> :set +m
Prelude> let element :: (Eq a) => [a] -> a -> Bool   
Prelude|     element [] _ = False
Prelude|     element (x:xs) target
Prelude|       | x == target = True
Prelude|       | otherwise = element xs target
Prelude| 

为什么不能用模式强制等价？ #

Haskell的模式匹配本质是“解构数据并绑定变量”，不是“条件判断”。如果要表达“某个位置的值等于某个变量”，这属于逻辑判断，得放在守卫（|后面）或者函数体里，模式做不到这一点——模式里的变量永远是绑定新值，不会和已有变量做比较。

你提到的element = flip elem确实是最简洁的实现，因为elem本身就是判断元素是否在列表里的函数，flip只是把参数顺序反过来，和你定义的element逻辑完全一致。

内容的提问来源于stack exchange，提问作者Stephen P. Schaefer