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

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

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

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

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

проверить, что реальные типы всех имен, входящих в выражение, соответствуют указанным

проверить, что реальные типы всех подвыражений соответствуют указанным

решить систему функциональных уравнений относительно типов(Верный ответ)

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

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

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

Какой самый внутренний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?

Какой самый внешний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?

Как расставляются скобки в выражении λx.λy.e1e2?

Как расставляются скобки в выражении f sin x*2?

Как правильно расставить скобки в выражении лямбда-исчисления, чтобы вычислить f(g(x))?

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

Для реализации ленивого Eval/Apply-интерпретатора необходимо, в частности:

Пусть геометрическое преобразование определяется функцией трансляции координат int*int → int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?