Главная /
Функциональное программирование /
Система вывода типов (Хиндли-Милнера) – это:
Система вывода типов (Хиндли-Милнера) – это:
вопросПравильный ответ:
множество типовых уравнений типов для стандартных функций (
map
, fold
, …)
формальная аксиоматическая система для вывода типовых заключений
система уравнений для типов базовых конструкций языка (let, if-then-else и др.)
Сложность вопроса
90
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 5.!!!
14 дек 2018
Аноним
Большое спасибо за подсказками по intiut'у.
24 дек 2016
Другие ответы на вопросы из темы программирование интуит.
- # Что такое пропозициональная семантика языка программирования?
- # Какой тип имеет функция eval в Eval/Apply-интерпретаторе?
- # Для реализации ленивого Eval/Apply-интерпретатора необходимо, в частности:
- # Программа, порожденная генератором fsyacc:
- # За счет чего функциональные программы обычно содержат меньше ошибок, чем императивные?