Damas-Hindley-Milner Typinferenz Algorithmus Implementierung

Question

Ich bin auf der Suche nach Informationen über den bekannten Damas-Hindley- Milner Algorithmus Typinferenz für funktionale Sprachen, vor allem Informationen über die Implementierung zu tun.

Ich weiß schon, wie das tun Algorithmus W , aber ich hörte von den letzten neuen Algorithmen basierend auf Constraint-Generator / Löser eher als üblich Vereinigung. Allerdings kann ich nicht schaffen, alle Diskussionen über die Umsetzung dieses neuen Algorithmus zu finden.

Jede Idee, wo ich einige partielle Informationen über ML-Inferenz finden konnten?

Answer 1

Wenn Sie sich bequem mit ML-Code, der beste Weg, um diese Dinge zu finden, sind einfach in die Implementierungen in der freien Natur zu suchen. Eine gute Referenz-Implementierung ist Weilers , die eher als Testplattform konzipiert ist eher als eine Produktionsimplementierung.

Fast all ernsthafte jüngste Diskussion dieser Fragen wird in der wissenschaftlichen Spielstätten sein. Ein Papier, das von Interesse sein könnte, ist verallgemeinert Hindley- Typ Milner Inferenzalgorithmen .

Auch die Implementierungen von verschiedenen Systemen des Typs (einschließlich let Polymorphismus) in Pierces „ Typen und Programmiersprachen „sowie Appels“ Moderne Compiler Implementierung in ML “entsprechen enger moderne Ansätze dies als die Vanille Beschreibung des Algorithmus W zu implementieren.