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

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 .