Haskell编译错误：无法匹配预期类型‘c’与实际类型‘d’

首先补全你代码中缺失的Constant新类型定义（否则编译会先报错找不到该类型）：

newtype Constant d = Constant d

你的原始代码：

class Funz a where
    (+.) :: a -> a -> a
    eval :: (Num b, Num c) => a -> b -> c

instance (Num d) => Funz (Constant d) where
    Constant a +. Constant b = Constant $ a+b
    eval (Constant a) b = a

编译时出现的错误：

app/basics.hs:18:27: error:
    • Couldn't match expected type ‘c’ with actual type ‘d’
      ‘c’ is a rigid type variable bound by
        the type signature for:
          eval :: forall b c. (Num b, Num c) => Constant d -> b -> c
        at app/basics.hs:18:5-8
      ‘d’ is a rigid type variable bound by
        the instance declaration
        at app/basics.hs:16:10-37
    • In the expression: a
      In an equation for ‘eval’: eval (Constant a) b = a
      In the instance declaration for ‘Funz (Constant d)’
    • Relevant bindings include
        a :: d (bound at app/basics.hs:18:20)
        eval :: Constant d -> b -> c (bound at app/basics.hs:18:5)
   |
18 |     eval (Constant a) b = a
   |                           ^

错误原因 #

eval的类型签名声明它可以返回任意满足Num约束的类型c，但你实际返回的是Constant内部的固定类型d。Haskell是强静态类型语言，不允许隐式的跨Num类型转换——哪怕d和c都属于Num类（比如d=Double、c=Int），两者也无法自动转换，因此编译器报错类型不匹配。

修复方案 #

方案1：调整类型类，让返回类型与实例关联

如果你的意图是eval返回Constant内部的数值类型，修改类型类定义，通过关联类型明确返回类型：

{-# LANGUAGE TypeFamilies #-}

newtype Constant d = Constant d

class Funz a where
    type Output a :: *
    (+.) :: a -> a -> a
    eval :: Num b => a -> b -> Output a

instance Num d => Funz (Constant d) where
    type Output (Constant d) = d
    Constant a +. Constant b = Constant $ a + b
    eval (Constant a) _ = a

这里用TypeFamilies扩展定义关联类型Output a，让eval的返回类型与实例的具体类型绑定，彻底避免类型不匹配问题。

方案2：显式转换类型以匹配任意Num约束

如果要保留原类型类的签名，需要把d类型的a显式转换为任意Num类型c。利用Num类的toInteger和fromInteger方法实现跨Num类型转换：

newtype Constant d = Constant d

class Funz a where
    (+.) :: a -> a -> a
    eval :: (Num b, Num c) => a -> b -> c

instance Num d => Funz (Constant d) where
    Constant a +. Constant b = Constant $ a + b
    eval (Constant a) _ = fromInteger $ toInteger a

这种方式通过先把a转为Integer，再转为目标类型c，满足了eval可以返回任意Num类型的要求。

方案3：限制返回类型与Constant的参数类型一致

如果你不需要eval返回任意Num类型，直接修改eval的类型签名，让它返回d类型：

newtype Constant d = Constant d

class Funz a c where
    (+.) :: a -> a -> a
    eval :: Num b => a -> b -> c

instance Num d => Funz (Constant d) d where
    Constant a +. Constant b = Constant $ a + b
    eval (Constant a) _ = a

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