Вопросы с тегом «hindley-milner»

851
Какую часть Хиндли-Милнера вы не понимаете?

Я клянусь , там раньше была футболкой для продажи с участием бессмертных слов: Какая часть ты не понимаешь? В моем случае ответ будет ... все это! В частности, я часто вижу подобные обозначения в документах на Haskell, но я понятия не имею, что это означает. Я понятия не имею, какой отраслью...

124
Что такое Хиндли-Милнер?

Я столкнулся с этим термином Хиндли-Милнер , и я не уверен, что понимаю, что он означает. Я прочитал следующие сообщения: Стив Йегге - Динамические языки наносят ответный удар Стив Егге - Проблема Пиноккио Дэниел Спивак - Что такое Хиндли-Милнер? (а почему это круто?) Но для этого термина нет...