Haskell类型错误：需用fromIntegral？适配指定类型签名方案

错误原因 #

1. 类型不匹配：racionalM的类型签名指定返回Float，但第一个分支racionalM n 1 = n中，n是Integer类型。Haskell是强类型语言，不会自动在整数和浮点数之间做隐式转换，因此编译器抛出类型不匹配错误。
2. 运算符类型不兼容：第二个分支里的n/m也存在问题，/运算符要求操作数为Floating类型（如Float、Double），但此处n和m都是Integer，直接使用/会触发类型错误，只是编译器优先报告了第一个分支的问题。

解决办法 #

使用fromIntegral将Integer转换为Float，确保所有表达式的类型与签名一致。修正后的代码如下：

racionalM :: Integer -> Integer -> Float
racionalM n 1 = fromIntegral n
racionalM n m = fromIntegral n / fromIntegral m + racionalM n (m-1)

sumaRacionales :: Integer -> Integer -> Float
sumaRacionales 1 m = racionalM 1 m
sumaRacionales n m = racionalM n m + sumaRacionales (n-1) m

关键修改点 #

• 在racionalM n 1分支，通过fromIntegral n将整数n转换为Float类型，匹配函数的返回值要求。
• 在n/m运算处，分别将n和m转换为Float，满足/运算符对操作数类型的要求（/仅支持浮点数类型的除法）。

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