База ответов ИНТУИТ

Функциональное программирование

<<- Назад к вопросам

Система вывода типов (Хиндли-Милнера) – это:

(Отметьте один правильный вариант ответа.)

Варианты ответа
множество типовых уравнений типов для стандартных функций (map, fold, …)
система уравнений для типов базовых конструкций языка (let, if-then-else и др.)
формальная аксиоматическая система для вывода типовых заключений(Верный ответ)
Похожие вопросы
Что необходимо сделать для вывода типов в некотором выражении?
Алгоритм вывода типов W содержит в себе следующие основные этапы:
При статическом контроле типов: