Почему «типовой класс» называется «типовой класс»?

Question

При более глубоком погружении в Scala я употребляю термин тип класса .Это сбивало с толку, потому что класс является типом, а тип может быть классом в Scala, а «тип» и «класс» сами по себе являются абстрактными терминами.

Прочитав некоторые примеры, я почувствовал, что это за типкласс может быть, но, возможно, есть более простой подход, чтобы получить умственную привязку (рисунок, понятие) к тому, что такое класс типов, объяснив, почему он был так назван.

Answer 1

В Хаскеле нет классов в смысле Java / Scala, поэтому этот термин можно было свободно использовать (в смысле «класс типов», как говорит Йоханнес Вайс).

Он не используется в официальной документации Scala, но люди, пришедшие из Haskell, обнаружили, что они могут эмулировать классы типов Haskell в Scala, и повторно использовали имя.

Answer 2

Поскольку он классифицирует (вместе) типы, «имеющие» общие операции над множествами, определенные классом типов?

Это кажется мне очень естественным.