Haskell:是的，没有类型类。为什么是整数？

Question

我有一个关于 GHCi 如何假定整数类型的问题。

我正在阅读《Learn you a Haskell》是-否类型的类(class)。

如果您想阅读全文，这里有一个链接。 http://learnyouahaskell.com/making-our-own-types-and-typeclasses#a-yes-no-typeclass

简而言之，本章表明，通过定义自己的类，我可以创建一个适用于多种类型的函数。

本书定义了带有函数的 YesNo 类

yesno :: a -> Bool

并将 Int 作为 YesNo 类的实例

instance YesNo Int where
    yesno 0 = False
    yesno _ = True

当我将其加载到我的 GHCi 上并输入时

yesno 0

返回错误。我认为这可能是因为 GHCi 无法判断 0 是否意味着 Int 或 Integer 或 Double 或 Num< 中的其他类型 类。实际上，当我输入 yesno (0::Int) 时，它起作用了。

所以只是为了好玩，我将 Integer 作为 YesNo 类的实例并编写了

instance YesNo Integer where
    yesno 0 = True
    yesno _ = False

(请注意，我颠倒了 True 和 False)我再次输入

yesno 0

(没有任何类型声明)然后 GHCi 显示 True。

此外，当我输入时

yesno $ fromIntegral 0

它返回True，这意味着GHCi认为fromIntegral 0的类型是Integer。

那么，这是否意味着当我在 GHCi 上输入一个整数时，它通常会假设其值为 Integer 而不是？我很困惑，因为 :t 0 返回 Num a => a

Answer 1

类型为 defaulting与 ghci 的扩展默认规则一起。

整数文字是多态的，它们的类型为Num a => a(因为它们代表fromInteger Lite)。但是，当要计算表达式时(例如打印其结果所必需的)，必须为表达式指定单态类型。

就其本身而言，

yesno 0

对0施加两个约束Num a和YesNo a，整个表达式将具有不明确的类型

yesno 0 :: (Num a, YesNo a) => Bool

(这是不明确的，因为约束中的类型变量无法从 => 右侧的类型访问)。

一般来说，不明确的类型是类型错误，但是，在某些情况下，通过使用默认类型实例化约束类型变量可以解决不明确的问题。语言规范中的规则是类型变量可以被默认，如果

In situations where an ambiguous type is discovered, an ambiguous type variable, v, is defaultable if:

- `v` appears only in constraints of the form `C v`, where `C` is a class, and
- at least one of these classes is a numeric class, (that is, `Num` or a subclass of `Num`), and
- all of these classes are defined in the Prelude or a standard library (Figures 6.2–6.3 show the numeric classes, and Figure 6.1 shows the classes defined in the Prelude.)

约束(Num a, YesNo a)满足前两个要求，但不满足第三个要求。所以按照语言标准，它是不可默认的，应该是类型错误。

但是，ghci 使用扩展的默认规则，并且还默认受 Prelude 或标准库中未定义的类约束的类型变量。

然后，它会在此处选择 Num 约束的默认值，除非显式默认声明在范围内，否则为 Integer，或者，如果 Integer 不满足约束，尝试 Double。

因此，当您有一个实例 YesNo Integer 时，ghci 可以成功地将类型变量 a 默认为 Integer。但如果没有这样的实例可用，默认就会失败，因为默认候选者都没有实例。