如何在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

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

要让Eq继承自POrd而Set和Eq来自class POrd: ... class Eq(POrd): ... class Set(Eq): ... 的“链”将转化为以下内容：

{{1}}