При более глубоком погружении в Scala я наткнулся на термин типовой класс. Это сбивало с толку, потому что класс — это тип, а тип может быть классом в Scala, а «тип» и «класс» сами по себе являются абстрактными терминами.
Прочитав несколько примеров, я понял, каким может быть класс типов, но, возможно, есть более простой способ понять, что такое класс типов, — объяснить, почему он был назван именно так.
В Haskell нет классов в смысле Java/Scala, поэтому этот термин можно было использовать свободно (в смысле «класс типов», как говорит Йоханнес Вайс).
Он не используется в официальной документации Scala, но люди, пришедшие из Haskell, обнаружили, что могут эмулировать классы типов Haskell в Scala, и повторно использовали это имя.
UndecidableInstances GHC позволяет кодировать правильные классы, а затем приступать к, э-э, обработке их как наборов.
- person C. A. McCann; 09.09.2011
Потому что это классы (вместе) типы, «имеющие» общий набор операций, определяемый классом типа?
Мне это кажется очень естественным.
