Mientras estoy aprendiendo Haskell, noté que estype class, que se supone que es un gran invento que se originó en Haskell.

Sin embargo, enla página de Wikipedia sobre la clase de tipo:

l programador define una clase de tipo especificando un conjunto de funciones o nombres constantes, junto con sus respectivos tipos, que deben existir para cada tipo que pertenece a la clase.

Que parece bastante cerca de Interfaz de Java para mí (citando Página de la interfaz de Wikipedia (Java)):

na interfaz en el lenguaje de programación Java es un tipo abstracto que se utiliza para especificar una interfaz (en el sentido genérico del término) que las clases deben implementar.

Estos dos parecen bastante similares: la clase de tipo limita el comportamiento de un tipo, mientras que la interfaz limita el comportamiento de una clase.

Me pregunto cuáles son las diferencias y similitudes entre la clase de tipo en Haskell y la interfaz en Java, ¿o tal vez son fundamentalmente diferentes?

EDITAR Me di cuentaeven haskell.org admite que son similares. Si son tan similares (¿o lo son?), Entonces ¿por qué la clase de tipo se trata con tanta publicidad?

MÁS EDITAR: ¡Guau, muchas respuestas geniales! Creo que tendré que dejar que la comunidad decida cuál es la mejor. Sin embargo, mientras leen las respuestas, todas parecen decir que "hay muchas cosas que puede hacer la clase de tipo mientras que la interfaz no puede o tiene que hacer frente a los genéricos". No puedo evitar preguntarme, ¿hay algointerfaces puede hacer mientras que las clases de tipos no pueden? Además, noté que Wikipedia afirma que la clase de tipo se inventó originalmente en el artículo de 1989 * "Cómo hacer que el polimorfismo ad-hoc sea menos ad hoc", mientras que Haskell todavía está en su sitio, mientras que el proyecto Java se inició en 1991 y se lanzó por primera vez en 1995. Entoncesmaybe en lugar de que typeclass sea similar a las interfaces, es al revés, que las interfaces fueron influenciadas por typeclass? ¿Hay documentos / documentos que respalden o refuten esto? ¡Gracias por todas las respuestas, todas son muy esclarecedoras!

¡Gracias por todas las entradas