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

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

我们也知道1.5 :: Fractional a => a 。 并完美地add 1 1.5作品。

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

---

它在Fractional类的定义中：

class Num a => Fractional a where
   ...

你可以看到它的输入:i Fractional GHCi中的:i Fractional ，或者Haddock文档中的:i Fractional 。

链接地址: http://www.djcxy.com/p/43477.html

上一篇: How do we know if a typeclass is a sub

下一篇: Is a typeclass constraint discouraged in a typeclass method?