haskell - Haskell 中是否可以重载逻辑运算符(&& 例如)？

Question

我正在处理多值逻辑并尝试重载基本逻辑函数。

我对重载 Num 和 Eq 运算符没有问题，但我不知道如何重载 &&、|| 和不是。

这可能吗？谢谢各位的解答!

Answer 1

Haskell 根本没有重载(=临时多态性)。 +、* 等不是函数，而是类方法:“重载”它们更像是定义 OO 接口(interface)的具体后代/纯粹-抽象类而不是 C++ 中的重载函数。

逻辑运算符OTOH只是普通函数，在Prelude中一劳永逸地定义了。

然而，在 Haskell 中，中缀运算符大多被视为一种特殊的函数名称，它们不是实际语法定义的一部分。没有什么可以阻止您定义具有相同目的的新的、不同运算符，例如

class Booly b where
  true :: b
  false :: b
  (&&?) :: b -> b -> b
  (||?) :: b -> b -> b
infixr 3 &&?
infixr 2 ||?

instance Booly Bool where
  true = True
  false = False
  (&&?) = (&&)
  (||?) = (||)

instance Booly MVBool where
  true = ...

事实上，只要通过模块限定符消除新名称的歧义就足够了:

import Prelude hiding ((&&), (||))
import qualified Prelude

class Booly b where
  true :: b
  false :: b
  (&&) :: b -> b -> b
  (||) :: b -> b -> b
infixr 3 &&
infixr 2 ||

instance Booly Bool where
  true = True
  false = False
  (&&) = (Prelude.&&)
  (||) = (Prelude.||)