Почему проще формулировать и доказывать корректность программ на чистом функциональном языке?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
из-за отсутствия побочных эффектов(Верный ответ)
потому что отсутствие циклов снимает проблему остановки
потому что можно поставить в однозначное соответствие функциям программы некоторые математические функции(Верный ответ)
потому что чистое лямбда-исчисление является полным