Ich suche informationen über die bekannten Damas-Hindley-Milner-Algorithmus, um Inferenzen für funktionale Sprachen zu erstellen, insbesondere Informationen zur Implementierung.

Ich weiß bereits, wie man das @ macAlgorithmus W, aber ich habe von neuen Algorithmen gehört, die auf dem Constraint Generator / Solver und nicht auf der üblichen Vereinheitlichung basieren. Es gelingt mir jedoch nicht, Diskussionen über die Implementierung dieses neuen Algorithmus zu finden.

Kann ich eine Idee haben, wo ich teilweise Informationen zu ML-Schlussfolgerungen finden kann?