Главная /
Введение в теорию программирования. Функциональный подход /
Как осуществляется приписывание типа в теории типов?
Как осуществляется приписывание типа в теории типов?
вопросПравильный ответ:
на основании выводимости типов
на основании аксиом и правил вывода
на основании непосредственной проверки
Сложность вопроса
57
Сложность курса: Введение в теорию программирования. Функциональный подход
37
Оценить вопрос
Комментарии:
Аноним
Нереально сложно
31 янв 2018
Аноним
просто спасибо
10 май 2016
Другие ответы на вопросы из темы программирование интуит.
- # Какие из перечисленных языков программирования основаны на сценарном подходе?
- # Какой вариант вызова параметра моделирует машина Лендина?
- # В чем состоит основное назначение кода де Брейна?
- # Какие из перечисленных языков программирования являются диалектами языка SML?
- # Какой из перечисленных языков программирования является бестиповым?