haskell - 为什么 .hs 文件中的 "(2+2.0)"双倍，而 GHCi 中的 "Fractional a => a"？

Question

从 GHCi 中的 .hs 文件加载 a = 2+2.0 并执行 :t a 显示 a::Double。

另一方面，在 GHCi 中执行 let b = 2+2.0 和 :t b 会显示 b::Fractional a => a .

您如何从这两个文件中推断出这一点？

• 4.3.4 重载数值运算的模糊类型和默认值https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-750004.3
• 2.4.8 GHCi 中的默认类型:https://downloads.haskell.org/~ghc/7.8.3/docs/html/users_guide/interactive-evaluation.html

我发现这个官方文档几乎无法理解。

Answer 1

This documentation是你想要的，我想。基本上，GHC 默认在 GHCi 中实现与在模块中不同的语言。特别是，在模块中(根据语言)默认启用可怕的单态限制，而在 GHCi 中它被禁用。单态限制是导致 GHC 为您的 a 选择单态类型的原因，而关闭它后，GHC 可以自由泛化 b 的类型，从而产生多态输入你看到的。