Haskell中Integer转Num类型类实例出现类型匹配错误问题求解

你对类型类约束的作用方向理解有偏差：

• 签名fun :: (Num a) => Integer -> a的语义是：调用方有权指定任意实现了Num类型类的类型作为a的实际类型，函数必须返回对应类型的值，而不是「函数返回任意Num实例就行，调用方自行适配」。
• 你的实现里直接返回了Integer类型的计算结果，但调用方完全可能要求返回Int、Float甚至自定义的Num实例类型，Integer无法自动匹配所有Num实例，因此编译器抛出类型不匹配错误。

根据你的实际需求，可以选择以下任意一种修复方式：

1. 如果你确定函数只需要返回Integer类型，直接修改签名即可：

fun :: Integer -> Integer
fun a = a + 1

2. 如果你希望函数支持任意Num类型的输入输出，统一参数和返回值的类型约束：

fun :: (Num a) => a -> a
fun a = a + 1

3. 如果你需要保留输入为Integer、输出为任意Num实例的语义，使用Num类型类自带的fromInteger方法做类型转换：

fun :: (Num a) => Integer -> a
fun a = fromInteger a + 1

fromInteger的作用就是将Integer类型转换为任意Num实例类型，刚好匹配你需要的语义。

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