выражение в лямбда-исчислении

Question

пытается трудно, и не найдя, как выразить вопрос в Lambda ..

Возможно, я ошибаюсь в поиске? Насколько я понимаю, в лямбда-исчислении, мы получаем для определения параметров, операций и т.д. например: TRUE: = λx.λy.x FALSE: = λx.λy.y И: = λp.λq .pqp OR: = λp.λq.ppq и т.д ..

Am интересно, как даже теоретически, есть способ вычислить вопрос с лямбда.

т.е. anonnymous/абстрактный вопрос, как:

ВОПРОС: = The_Lambda_expression

Что может вычислить, как вопрос - должна быть функция, нет ??

Любые идеи? Улики?

Приветствия и огромное спасибо!

Answer 1

Похоже, что вы ищете предикаты, что является формальной формой вопросов, для которых ответ/ответ ДА ​​(Истина) или НЕТ (False).

Ознакомьтесь с разделом «Логика и предикат» по адресу http://en.wikipedia.org/wiki/Lambda_calculus#Logic_and_predicates.

Answer 2

Ваш последний комментарий заставляет меня думать, что вы хотите знать, как читать пользовательский ввод (т. Е. «Задавать пользователю вопрос»). Если это не то, что вы имели в виду, не стесняйтесь уточнять.

Исчисление лямбда не имеет понятия IO как такового - только функции с параметрами. Поэтому вместо того, чтобы запрашивать пользователя для ввода, вы должны написать функцию, которая берет требуемую информацию в качестве ее параметров.

Давайте рассмотрим следующий пример: пользователь может заказать еду, содержащую N кусочков мяса и, возможно, суп, чтобы пойти с ним, и мы хотим рассчитать общую стоимость в долларах. Каждый кусок мяса стоит два доллара, а суп стоит один. Для того, чтобы представить это мы напишем функцию, которая принимает логическое soup, который представляет собой, хочет ли пользователь суп, а число pieces_of_meat, которое представляет, сколько кусков мяса пользователь хочет:

λ soup. λ meat. meat * 2 + (soup 0 1)