REPL 算术 - 使用“print”引起的模棱两可的类型变量“a0”答案

【问题标题】：REPL arithmetic - Ambiguous type variable ‘a0’ arising from a use of ‘print’REPL 算术 - 使用“print”引起的模棱两可的类型变量“a0”
【发布时间】：2021-03-13 13:52:51
【问题描述】：

我收到以下错误

由于使用“print”而产生的模棱两可的类型变量“a0” 防止约束‘(Show a0)’被解决。”

当我在winghci 控制台中输入这个简单的表达式时：

(1.0 * (floor 5))/(1.0 * (floor 5))

我在其他 SO 帖子中读到您不能对整数使用“/”除法，但这里我试图除小数。

【问题讨论】：

问题不在于(/) 本身，而在于floor 将返回Integral 类型。

标签： haskell

【解决方案1】：

floor :: (RealFrac a, Integral b) => a -> b 返回属于Integral 类型类成员的类型的值。此外，(/) :: Fractional a => a -> a -> a 要求操作数和结果都是 same 类型，并且该类型应该是 Fractional 类型类的成员。

虽然在 Haskell 中，技术上可以创建一个既是 Integral 和 Fractional 类型类成员的类型，但它没有多大意义，而且绝对没有这样的标准类型。

因此，您需要将floor 的结果转换回可以是小数的类型，例如使用fromIntegral :: (Integral a, Num b) => a -> b：

Prelude> (1.0 * fromIntegral (floor 5))/(1.0 * fromIntegral (floor 5))
1.0

【讨论】：

我希望乘以 1.0 来进行从积分到分数的转换。
@zslevi: 不，(*) :: Num a => a -> a -> a 表示两个操作数和结果都具有相同的类型。编程语言这样做是不安全的，因为每次隐式转换都可能有“信息丢失”，然后程序员通常不会意识到这一点。