Функциональное программирование

Как определяются значения логического типа при формальном построении языка функционального программирования?

(Отметьте один правильный вариант ответа.)

Варианты ответа

true = λx.λy.x ; false = λx.λy.y (Верный ответ)

true = λx.λy.xy ; false = λx.λy.yx

true = 1; false = 0

как атомарные константы T и F

Похожие вопросы

Какая алгоритмическая модель лежит в основе функционального программирования?

Какая модель вычислений служит формальной основой функционального программирования?

Что такое пропозициональная семантика языка программирования?

Что такое денотационная семантика языка программирования?

Что такое операционная семантика языка программирования?

В динамических языках программирования:

В чем отличия фунционального программирования и императивного?

Какие языки программирования являются преимущественно функциональными?

Какая алгоритмическая модель лежит в основе императивного программирования?

Какого типа выражение async { return 10; }?