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

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

3
Що таке Хіндлі-Мілнер?
Я стикався з цим терміном Хіндлі-Мілнер , і я не впевнений, чи розумію, що це означає. Я читав наступні публікації: Стів Єгге - динамічні мови відбиваються назад Стів Єгге - проблема Піноккіо Даніель Співак - Що таке Хіндлі-Мілнер? (а чому це круто?) Але немає жодного запису для цього терміна у …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.