haskell - marcar - seguimiento de eventos con tag manager

¿Por qué las clases de tipos fueron difíciles de implementar?

Question

En la diapositiva 30/78 de this presentación, Simon sugiere que la implementación de las clases tipo fue una "desesperación" al principio. ¿Alguien sabe por qué fue eso?

Answer 1

Supongo que soy una de las pocas personas que tienen experiencia directa de por qué fue difícil, ya que lo implementé en hbc cuando no existía el estado de la técnica.

Entonces, lo que quedó claro en el documento de Wadler y Blott fue que la verificación de tipos era una extensión de la verificación de tipo Hindley-Milner y que en tiempo de ejecución debería pasar diccionarios. De eso a una implementación real es un paso bastante grande. Una buena forma de entender la dificultad es implementarla desde el papel de Wadler-Blott.

En primer lugar, debe tener la idea de un comprobador de tipos que no solo verifique los tipos sino que también los transforme; insertar evidencia (diccionarios) mientras se comprueba el tipo. También necesita averiguar cómo construir diccionarios nuevos a partir de los antiguos utilizando las declaraciones de instancia como un sistema de inferencia.

Puede parecer obvio en retrospectiva, pero recuerde que desde entonces se han escrito muchos documentos con explicaciones. Comprender cómo hacer algo a partir de un documento es muy diferente de crearlo en primer lugar.

Además, quiere que las clases de tipo sean razonablemente eficientes, lo que conduce a su propio conjunto de problemas.