Главная / Введение в теорию программирования. Функциональный подход / Как осуществляется приписывание типа в теории типов?

Как осуществляется приписывание типа в теории типов?

вопрос

Правильный ответ:

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