Система вывода типов (Хиндли-Милнера) – это:
(Отметьте один правильный вариант ответа.)
Варианты ответа
множество типовых уравнений типов для стандартных функций (map, fold, …)
система уравнений для типов базовых конструкций языка (let, if-then-else и др.)
формальная аксиоматическая система для вывода типовых заключений(Верный ответ)