В части 2 мы закончили с определениями всех формальных терминов и символов, которые вы можете увидеть в вопросе на StackOverflow об алгоритме Хиндли-Милнера. Так что теперь мы готовы перевести, о чём же там спрашивается, а именно — правила вывода утверждений о выводе типов. Приступим!
Читать полностью »
Рубрика «модель Хиндли-Милнера»
Итак, вы всё ещё не понимаете Хиндли-Милнера? Часть 3
2013-08-15 в 8:01, admin, рубрики: hindley-milner, вывод типов, математика, модель Хиндли-Милнера, переводы, ПрограммированиеИтак, вы всё ещё не понимаете Хиндли-Милнера? Часть 2
2013-08-15 в 8:00, admin, рубрики: hindley-milner, вывод типов, математика, модель Хиндли-Милнера, переводы, Программирование В части 1 мы говорили о том, какие строительные блоки нужны для формализации Хиндли-Милнера, а в этом посте мы конкретизируем их определения и сформулируем формализацию в целом:
Читать полностью »