「タイプクラス」は「タイプクラス」と呼ばれるのはなぜですか？

Question

Scalaに深く入ると、私はタイプのクラスと命名しました。 クラスは型であり、型は がScalaのクラスであり、 "型"と "クラス"自体が抽象的な用語であるため、混乱していました。

は、いくつかの例を読んだ後、私は型クラスは 何ができるかを感じましたが、多分型クラスは、それが を持っていた理由を説明することであるものに精神的なフック （絵、概念）を取得する簡単なアプローチがありますそのように名付けられました。

Answer 1

ハスケルでは、Java/Scalaの意味ではクラスが存在しないため、この用語は自由に使用できました（「クラスのタイプ」という意味で、JohannesWeißは言う）。

これは公式のScalaのドキュメントでは使用されていませんが、Haskellからの人はScalaのHaskell型のクラスをエミュレートして名前を再利用できることがわかりました。

Answer 2

タイプクラスによって定義された共通のセット操作を「有する」タイプのクラスを（一緒に）クラス化するためですか？

私はとても自然です。