Haskell中逻辑门xor定义为(/=)，该运算符含义是什么？

在Haskell里，(/=)是不等于运算符，用于判断两个值是否不相等，返回布尔类型（Bool）的结果，它是相等运算符==的取反版本。

你给出的代码之所以能用(/=)直接实现XOR逻辑，是因为布尔类型的异或（XOR）逻辑和“两个值不相等”的逻辑完全一致：

• 当两个布尔值相同时（True和True、False和False），(/=)返回False，这和XOR的结果一致；
• 当两个布尔值不同时（True和False、False和True），(/=)返回True，也和XOR的结果一致。

举几个实际调用的例子：

xor True True  -- 等价于 True /= True → 返回 False
xor True False -- 等价于 True /= False → 返回 True
xor False True -- 等价于 False /= True → 返回 True
xor False False -- 等价于 False /= False → 返回 False

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