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

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

вопрос

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

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
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.