Запитання з тегом «hindley-milner»

Я клянусь, що раніше у продажу була футболка із зображенням безсмертних слів: Яка частина ти не розумієш? У моєму випадку відповідь буде ... все це! Зокрема, я часто бачу подібні позначення в роботах Haskell, але я не маю поняття, що це означає. Я поняття не маю, якою галуззю математики це …

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

Я стикався з цим терміном Хіндлі-Мілнер , і я не впевнений, чи розумію, що це означає. Я читав наступні публікації: Стів Єгге - динамічні мови відбиваються назад Стів Єгге - проблема Піноккіо Даніель Співак - Що таке Хіндлі-Мілнер? (а чому це круто?) Але немає жодного запису для цього терміна у …

124 functional-programming  types  inference  hindley-milner