Главная /
Функциональное программирование /
Почему проще формулировать и доказывать корректность программ на чистом функциональном языке?
Почему проще формулировать и доказывать корректность программ на чистом функциональном языке?
вопросПравильный ответ:
потому что отсутствие циклов снимает проблему остановки
потому что чистое лямбда-исчисление является полным
из-за отсутствия побочных эффектов
потому что можно поставить в однозначное соответствие функциям программы некоторые математические функции
Сложность вопроса
70
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Спасибо за сайт
14 окт 2020
Аноним
Если бы не опубликованные подсказки - я бы не осилил c этими тестами intuit.
16 июл 2016
Другие ответы на вопросы из темы программирование интуит.