Damas-Hindley-Milner tipo de implementación algoritmo de inferencia

Question

Estoy buscando información sobre el conocido Damas-Hindley- Milner algoritmo hacer la inferencia de tipos de lenguajes funcionales, especialmente información sobre la aplicación.

Ya sabe cómo hacer el Algoritmo W , pero oí hablar de los últimos nuevos algoritmos basados ??en la restricción del generador / solucionador lugar de la unificación de costumbre. Sin embargo, no consigo encontrar ninguna discusión sobre la implementación de los nuevos en el algoritmo.

¿Alguna idea de dónde podría encontrar alguna información parcial sobre ML inferencia?

Answer 1

Si se siente cómodo con el código de ML, la mejor manera de encontrar estas cosas es simplemente mirar en las implementaciones en la naturaleza. Una buena implementación de referencia es Hamlet , que está diseñado como más de una plataforma de pruebas en vez que una implementación de producción.

discusión reciente Casi todo serio de estos temas va a estar en lugares académicos. Uno de los artículos que pueden ser de interés es Generalizando Hindley- Milner inferencia de tipos algoritmos .

Además, las implementaciones de varios sistemas de tipo (incluyendo polimorfismo let) en Pierce de " tipos y Lenguajes de programación "así como de Appel" compilador moderno Implementación en ML " aproximarse más a los enfoques modernos para la aplicación del presente que la descripción de vainilla del algoritmo W.