lambda演算中的表达式

我很努力，却找不到如何用Lambda来表达问题

也许我找错了？ 据我所知，在Lambda演算中，我们可以定义参数、运算等。 如： 真：=λx.λy.x 假：=λx.λy.y 和：=λp.λq.p 或：=λp.λq.p q 等等

我想知道，即使在理论上，如何用lambda计算一个问题

i、 e.一个不寻常/抽象的问题，如：

问题：=_Lambda_表达式

什么可以算作一个问题-必须有一个函数，不是吗

有什么想法吗？线索

---

干杯，非常感谢

你要找的似乎是谓词，它只是一种正式形式的问题，回答/回答是是（真）或否（假）

---

查看逻辑和谓词部分。

您最近的评论让我觉得您想知道如何阅读用户输入（即“向用户提问”）。如果这不是你的意思，请随意进一步澄清

lambda演算没有IO的概念，只有带参数的函数。因此，您可以编写一个函数，将所需信息作为其参数，而不是请求用户输入

让我们考虑下面的例子：用户可以订购一份包含N块肉和可选的汤的食物，我们想用美元计算总价格。每一块肉要两美元，汤要一美元。为了表示这一点，我们编写了一个函数，该函数采用布尔值

汤

，表示用户是否想要汤，以及数量

块肉

，表示用户想要多少块肉：

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

---

你说的“问题”是什么意思？有条件的（比如“if-then-else”）或者别的什么？我的意思是有些东西是未知的。我喜欢那汤吗？我不知道。在我看来这是一个悬而未决的问题。。。节目一直在思考和思考的一些事情。一定有这样的功能，不是吗？用其他语言怎么表达“我喜欢那个汤吗？”？这似乎不是一个计算机程序可以回答的问题。我以为计算机可以问。计算仅限于答案吗？非常感谢-这是一个公平的观点。这不完全是我最初的想法，因为我不是在想布尔人，是/否，而是更广泛的可能（模糊？）问题。。虽然也许做问题而不是答案，或者可能的答案范围超出了当代的计算范围？