Als «hindley-milner» getaggte Fragen

124
Was ist Hindley-Milner?

Ich bin auf diesen Begriff Hindley-Milner gestoßen , und ich bin mir nicht sicher, ob ich verstehe, was er bedeutet. Ich habe folgende Beiträge gelesen: Steve Yegge - Dynamische Sprachen schlagen zurück Steve Yegge - Das Pinocchio-Problem Daniel Spiewak - Was ist Hindley-Milner? (und warum ist...