接口属于ad hoc多态（即重载）还是子类型多态？

Question

https://wiki.haskell.org/polymorphism说

特别多态性是指当一个值能够采用几种类型中的任何一种时，因为它或它使用的值已经为这些类型中的每一种类型赋予了单独的定义。例如，+运算符在应用于浮点值时所做的事情与应用于整数时完全不同--在Python中，它甚至可以应用于字符串。大多数语言至少支持一些特殊的多态性，但在像C这样的语言中，它仅限于内置的函数和类型。其他语言，如C++，允许程序员提供自己的重载，提供单个函数的多个定义，通过参数的类型来消除歧义。在Haskell中，这是通过类型类和类实例系统实现的。

OO语言（如Java、C#)中的接口属于哪种多态性，是ad hoc多态性（即重载）还是子类型多态性？

>

既然类型类与接口相似，那么接口是否像类型类一样是实现重载（即ad hoc多态性）的一种方式？

接口是否类似于基类，那么接口是否是实现子类型多态的一种方式，就像类继承一样？

谢了。

Answer 1

Types没有类型层次结构，但Typeclasses有。

我不认为类型类是类继承，因为你没有父结构，你只有签名。它们可能被视为OOP语言的经典接口，某种程度上...

但正如你引用的文字所说：

plus :: Num a => a -> a -> a
plus x y = x + y

(/) :: Fractional a => a -> a -> a

(div) :: Integral a => a -> a -> a

(+) :: Num a => a -> a -> a

其中每一个都有自己的实现，并限制子类型和超类型的类型层次结构中可以使用的数据类型，总是讨论typeClass，而不是类型本身。

关于与OOP的关系：

例如，在Java中，类型和类完全不同。看：

List<String> xs = new ArrayList<>();
List<String> ys = new LinkedList<>();
xs.add("Haskell");
ys.add("Forever");

ArrayList<String> ls = new ArrayList<>();
ls.add("something);

Haskell中有一个典型的有用的typeClass层次结构示例：