Mise en œuvre de l'algorithme d'inférence de type Damas-Hindley-Milner
je cherche des informations sur les plus connus algorithme de Damas-Hindley-Milner pour ce faire, tapez inférence pour les langues fonctionnelles, en particulier des informations sur la mise en œuvre.
je sais déjà comment le faire Algorithme W, mais j'ai entendu parler de nouveaux algorithmes récents basés sur Générateur de contraintes/solveur plutôt que l'unification habituelle. Cependant, je n'arrive pas à trouver de discussions sur la mise en œuvre de ce nouvel algorithme.
Tout vous savez où je pourrais trouver des informations partielles sur le blanchiment d'argent ?
1 réponses
si vous êtes à l'aise avec le code ML, la meilleure façon de trouver ces choses est de simplement regarder dans les implémentations dans la nature. Une bonne implémentation de référence est HaMLet, qui est conçu comme une plate-forme de test plutôt que d'une production mise en œuvre.
presque toutes les discussions sérieuses récentes sur ces questions se dérouleront dans des lieux savants. Un article qui pourrait vous intéresser est généralisation de l'inférence de type Hindley-Milner les algorithmes.
aussi, les implémentations de divers systèmes de type (y compris le polymorphisme let) dans" Types et langages de programmation