接口属于即席多态(即重载)还是子类型多态?

类型 类型类 有。

我不认为类型类是类继承,因为没有父结构,只有签名。它们可能被视为面向对象编程语言的经典接口,有点。。。

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

例如 (+) 运算符应用于浮点值时与应用于整数时的操作本质上完全不同

(+) 函数,与类型无关。

你有一个 TypeClass Num 尊重。例如

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

你有(我能数)四个直接的亚型 Integral (实施单位 Int 和 )以及 Fractional Float 和 Double ). 和 分数的 TypeClass是的子类型 号码 类型类。

(/) :: 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");

那里的类型是 List ,但这些列表的行为由 等级 (ArrayList或LinkedList)。 更重要的是,您可以:

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

另一方面,在哈斯凯尔不是这样的 (+) 方法行为由 .

类型类