我們如何知道類型類是否是另一個類型類的子類型類？

Question

如果我們這樣做， let add ab = 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
   ...

您可以看到它鍵入:i Fractional在GHCi中的:i Fractional ，或在Haddock文檔中 。