Алгоритм вывода типов W содержит в себе следующие основные этапы:

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

Варианты ответа

унификация типов имен и функций, генерация решения

унификация наиболее общих типов, генерация подстановок

генерация множества исходных уравнений, унификация для поиска решения(Верный ответ)

генерация множества исходных уравнений, перебор всех возможных подстановок

Похожие вопросы

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

Что необходимо сделать для вывода типов в некотором выражении?

При статическом контроле типов:

Какие основные операции в чистом λ-исчислении?

Какие есть основные модели вычислений?

Какие основные способы борьбы со сложностью используются в функциональных программах?

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