为什么“类型”称为“类型类”？

Question

当我深入Scala时，我会点击类型这个词。  它一直令人困惑，因为一个类是一个类型而一个类型可以  在Scala中是一个类，“类型”和“类”本身就是抽象术语。

在阅读了一些例子后，我感觉到类型课可以做什么  是的，但也许有一个更简单的方法来获得一个心理钩子  （图片，概念）通过解释它为何具有类型类  被这样命名。

Answer 1

在Haskell中没有Java / Scala意义上的类，所以这个术语可以自由使用（在类别的意义上，正如JohannesWeiß所说）。

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

Answer 2

因为它类（一起）类型“拥有”由类型类定义的公共集合操作？

对我来说这很自然。