Ich bin auf diesen Begriff gestoßen Hindley-Milner, und ich bin nicht sicher, ob ich begreife, was es bedeutet.

Ich habe folgende Beiträge gelesen:

Steve Yegge -Dynamic Languages Strike BackSteve Yegge - Das Pinocchio ProblemDaniel Spiewak -Was ist Hindley-Milner? (und warum ist es cool?)

Aber es gibt keinen einzelnen Eintrag für diesen Begriff in Wikipedia, in dem mir normalerweise eine kurze Erklärung angeboten wird.
Hinwei - hat mannow wurde hinzugefügt

Was ist es
Welche Sprachen und Tools implementieren oder verwenden sie?
Würden Sie bitte eine prägnante Antwort geben?