Type damas-Hindley-Milner mise en œuvre de l'algorithme d'inférence

Question

Je suis à la recherche d'informations sur le bien connu Damas-Hindley- Milner algorithme à faire l'inférence de type pour les langages fonctionnels, en particulier des informations sur la mise en œuvre.

Je sais déjà comment faire algorithme W , mais j'ai entendu parler de nouveaux algorithmes récents basés sur la contrainte générateur / solveur plutôt que l'unification habituelle. Cependant, je ne parviens pas à trouver des discussions sur la mise en œuvre de ces nouveaux algorithmes.

Toute idée où je pourrais trouver des informations partielles sur l'inférence ML?

Answer 1

Si vous êtes à l'aise avec le code ML, la meilleure façon de trouver ces choses est de simplement regarder dans les mises en œuvre dans la nature. Une bonne mise en œuvre de référence est HAMEAU, qui est conçu comme plus d'une plate-forme de test plutôt qu'une mise en œuvre de la production.

La quasi-totalité grave discussion récente de ces questions va être dans des lieux scientifiques. Un document qui pourrait être d'intérêt est Généraliser Hindley- Milner inférence de type algorithmes .

En outre, les mises en œuvre de différents systèmes de type (y compris let polymorphisme) dans » de Pierce Types et Langues programmation «ainsi que Appel de » Mise en œuvre moderne compilateur ML » mieux correspondre des approches modernes pour mettre en œuvre ce que la description de la vanille de l'algorithme W.