Estoy buscando información sobre el conocidoAlgoritmo Damas-Hindley-Milner hacer inferencia de tipos para lenguajes funcionales, especialmente información sobre implementación.

Ya se como hacerAlgoritmo W, pero escuché sobre nuevos algoritmos recientes basados en generador / solucionador de restricciones en lugar de la unificación habitual. Sin embargo, no puedo encontrar ninguna discusión sobre la implementación de esos nuevos algoritmos.

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