Модель типизации Хиндли - Милнера и пример её реализации на языке Haskell

[_adept_]

Модель типизации Хиндли - Милнера и пример её реализации на языке Haskell
Роман Душкин

Аннотация

Статья описывает алгоритм Хиндли - Милнера, используемый для автоматического вывода типов выражений. Рассматриваются дополнения данного алгоритма, используемые в функциональном языке программирования Haskell в связи с наличием в этом языке ограниченного полиморфизма. Приводится пример реализации функции для автоматического вывода типов, реализованной на языке Haskell, для чего, в том числе, даются полезные примеры применения библиотеки синтаксического анализа.