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

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

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

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

124 functional-programming  types  inference  hindley-milner