為什么“類型”稱為“類型類”？

Question

當我深入Scala時，我會遇到術語類型 。 它一直令人困惑，因為類是一個類型，一個類型可能是Scala中的類，“類型”和“類”本身就是抽象術語。

在閱讀了一些例子后，我感覺到類型類可能是什么，但也許通過解釋為什么它被命名為類似類，有一種更簡單的方法來獲得類型類的心理鈎子（圖片，概念）。

Answer 1

在Haskell中沒有Java / Scala意義上的類，所以這個術語可以自由使用（在類別的意義上，正如JohannesWeiß所說）。

它沒有在官方Scala文檔中使用，但來自Haskell的人發現他們可以在Scala中模擬Haskell類型類並重用該名稱。

Answer 2

因為它類（一起）類型“擁有”由類型類定義的公共集合操作？

這對我來說很自然。