python - 如何在 python 中实现 Haskell 实例？

Question

在 Haskell 中，如果您创建这样的实例：

instance (Eq a) => POrd (Set a) where
    ...

那么如果你需要在python中做同样的事情，是否意味着我们正在创建一个名为Set的类，它继承自另一个名为POrd的类，而Set继承自一个名为Eq的类？就像是：

class Eq:
    ...

class POrd:
    ...

class Set(Eq, POrd): 
    ...

谢谢。

Answer 1

Eq您的 Python 代码不对和之间的关系做任何假设POrd，但Set确实从这两个类继承。它们中的每一个都可以是完全不相关的。

Eq拥有继承自POrd和Set自的“链”Eq将转化为类似：

class POrd:
    ...

class Eq(POrd):
    ...

class Set(Eq): 
    ...