我们如何知道类型类是否是另一个类型类的子类型类？

Question

如果我们这样做 let add a b = a+b 然后add :: Num a => a -> a -> a。

我们也知道1.5 :: Fractional a => a。 add 1 1.5完美无瑕。

如果我理解正确，每个具有Fractional实例的类型也都有Num的实例，但这个事实是如何明确的？

Answer 1

它在Fractional类的定义中：

class Num a => Fractional a where
   ...

您可以在GHCi或Haddock docs上看到它键入:i Fractional。