scala - ¿Por qué una "clase de tipo" se llama "clase de tipo"?

haskell typeclass

Question

Al bucear más a fondo en Scala llegué a la clase de tipo de término. Había sido confuso porque una clase es un tipo y un tipo podría ser una clase en Scala y "tipo" y "clase" son en sí mismos términos abstractos.

Después de leer algunos ejemplos, tengo la sensación de lo que podría ser una clase de texto, pero tal vez haya un enfoque más fácil para obtener un gancho mental (imagen, concepto) de lo que es una clase de tipo al explicar por qué se le dio ese nombre.

Answer 1

¿Porque las clases (juntas) escriben "teniendo" un conjunto de operaciones definidas por la clase de tipo?

Se siente muy natural para mí.

Answer 2

En Haskell no hay clases en el sentido de Java / Scala, por lo que este término era de uso libre (en el sentido de "clase de tipos", como dice Johannes Weiss).

No se usa en la documentación oficial de Scala, pero las personas que vienen de Haskell descubrieron que podían emular clases de tipo Haskell en Scala y reutilizaron el nombre.