Haskell：如何避免Operation类实例中+运算符的歧义？

你的代码中重定义了(+)运算符，导致编译器无法区分自定义的(+)和Prelude中的(+)，进而引发歧义错误。以下是具体的解决思路和方案：

问题代码回顾 #

class Operation a where
    evaluate :: a -> Float

data Value = Value {value :: Float} deriving Show
instance Operation Value where
    evaluate = value

(+) :: (Operation a, Operation b) => a -> b -> (a, b)
(+) x y = (x, y)

当直接调用(Value 3) + (Value 5)时，编译器无法确定应该使用自定义的(+)还是Prelude中的(+)，即使Value不是Num类型实例，仍会触发歧义错误。

解决方案 #

方案1：使用自定义运算符（推荐） #

Prelude的(+)语义是数值相加，而你定义的(+)是打包元组，两者语义完全不同。直接定义新运算符可彻底避免冲突，同时提升代码可读性：

class Operation a where
    evaluate :: a -> Float

data Value = Value {value :: Float} deriving Show
instance Operation Value where
    evaluate = value

-- 定义自定义运算符，例如 .+.
(.+.) :: (Operation a, Operation b) => a -> b -> (a, b)
(.+.) x y = (x, y)

使用时直接书写：

(Value 3) .+. (Value 5)

方案2：通过类型约束与导入控制实现自动匹配（不推荐） #

如果坚持要使用(+)符号，可以通过隐藏Prelude的(+)，并为不同类型重载运算符，但需要启用GHC扩展，代码复杂度较高：

-- 隐藏Prelude的(+)，避免命名冲突
import Prelude hiding ((+))
-- 显式导入Prelude的(+)并重命名
import qualified Prelude as P ((+))

class Operation a where
    evaluate :: a -> Float

data Value = Value {value :: Float} deriving Show
instance Operation Value where
    evaluate = value

-- 为Operation实例定义(+)
(+) :: (Operation a, Operation b) => a -> b -> (a, b)
(+) x y = (x, y)

-- 为Num类型实例定义(+)，调用Prelude的版本
(+) :: Num a => a -> a -> a
(+) = P.(+)

注意：该方案需要启用OverlappingInstances和FlexibleInstances扩展，且容易引发其他类型匹配问题，仅适合进阶场景，新手不建议使用。

总结 #

优先选择方案1，使用自定义运算符是最符合Haskell编码规范且简单可靠的方式，既能避免歧义，又能让代码语义更清晰。

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