¿Quién inventó las clases tipográficas de Haskell?

7

Las clases de tipo de Haskell son una herramienta muy poderosa y le dan a Haskell una gran capacidad expresiva, en comparación con los lenguajes funcionales que no los tengo ¿Cuándo se inventaron y quién los inventó?

    
pregunta Petr Pudlák 06.07.2014 - 14:51

1 respuesta

9

El documento que introdujo las clases de tipo fue " Cómo hacer que el polimorfismo ad-hoc sea menos ad -hoc "por Wadler y Blott en 1988. En el documento, mencionan que las clases de tipos se descubrieron durante el trabajo de estandarización en Haskell, sin embargo, la redacción no deja en claro quién descubrió ellos. (Se podría suponer que fueron los autores, pero eso no se dice explícitamente).

Mencionan algunas técnicas anteriores de Stefan Kaes.

La sección de Reconocimiento dice:

  

La idea importante de que la sobrecarga podría reflejarse en el tipo de función fue sugerida (en una forma bastante diferente) por Joe Fasel. Para discusión y comentarios, también estamos agradecidos a: Luca Cardelli, Bob Harper, Paul Hudak, John Hughes, Stefan Kaes, John Launchbury, John Mitchell, Kevin Mitchell, Nick Rothwell, Mads Tofte, David Watt, los miembros del comité de Haskell , y los miembros de IFIP 2.8.

    
respondido por el Jörg W Mittag 06.07.2014 - 15:28

Lea otras preguntas en las etiquetas