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

Question

当我深入Scala时，我会遇到术语类型 。 它一直令人困惑，因为类是一个类型，一个类型可能是Scala中的类，“类型”和“类”本身就是抽象术语。

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

Answer 1

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

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

Answer 2

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

这对我来说很自然。