Pytania oznaczone «hindley-milner»

124
Co to jest Hindley-Milner?

Spotkałem się z tym terminem Hindley-Milner i nie jestem pewien, czy rozumiem, co to znaczy. Przeczytałem następujące posty: Steve Yegge - Dynamic Languages ​​Strike Back Steve Yegge - Problem Pinokia Daniel Spiewak - Co to jest Hindley-Milner? (i dlaczego to jest fajne?) Ale nie ma jednego...