scala - 为什么 "type class"称为 "type class"？

Question

在深入研究 Scala 时，我遇到了 这个词。类型类 .
它一直令人困惑，因为一个类是一个类型，而一个类型可以
在 Scala 中是一个类，“类型”和“类”本身就是抽象术语。

在阅读了一些示例后，我感觉类型类可以做什么
是，但也许有一种更简单的方法来获得心理上的钩子(Hook)
(图片，概念)通过解释类型类的原因
被这样命名。

Answer 1

在 Haskell 中没有 Java/Scala 意义上的类，所以这个术语可以自由使用(在“类型的类”的意义上，正如 Johannes Weiß 所说)。

它没有在 Scala 官方文档中使用，但来自 Haskell 的人们发现他们可以在 Scala 中模拟 Haskell 类型类并重用该名称。