Главная /
Функциональное программирование /
Как определяются значения логического типа при формальном построении языка функционального программирования?
Как определяются значения логического типа при формальном построении языка функционального программирования?
вопросПравильный ответ:
true = 1; false = 0
true = λx.λy.x ; false = λx.λy.y
true = λx.λy.xy ; false = λx.λy.yx
как атомарные константы
T
и F
Сложность вопроса
82
Сложность курса: Функциональное программирование
54
Оценить вопрос
Комментарии:
Аноним
Я сотрудник университета! Прямо сейчас уничтожьте сайт vtone.ru с ответами интуит. Немедленно!
28 авг 2020
Аноним
ответ подошёл
27 сен 2017
Аноним
Спасибо за помощь по интуит.
15 май 2016
Другие ответы на вопросы из темы программирование интуит.
- # В каком порядка обходятся поддеревья в инфиксном порядке обхода?
- # Что такое операционная семантика языка программирования?
- # Какой тип имеет функция eval в Eval/Apply-интерпретаторе?
- # Какого типа выражение async { return 10; }?
- # Сколько потоков выполнения операционной системы будет порождаться при выполнении операции Async.RunSynchronously(Async.Parallel([ for i in 1..100 → async { return fib(i) }]))?