问题标签 [lambda-calculus]

致所有了解lambda 演算的人：关于编程，它给你带来了什么好处？你会建议人们学习它吗？

我将如何使用原始递归定义函数“简化”？

简化 :: Expr -> Expr
...

简化 使用基本算术简化表达式，例如简化 (Plus (Var "x") (Const 0)) = Var "x"

Possible Duplicate:
Symbolic simplification in Haskell (using recursion?)

The simplifications I have in mind are

and simplifying constant subexpressions, e.g. Plus (Const 1) (Const 2) would become Const 3. I would not expect variables (or variables and constants) to be concatenated: Var "st" is a distinct variable from Var "s".

For example simplify(Plus (Var "x") (Const 0))= Var "x"

给定表达式包含的变量的值列表，如何评估表达式？

例子：

例如我想添加两个表达式 e1 和 e2

我猜它会像

例如，它像这样工作 toString (Var x)="x"

Lambda 演算当然是相当优雅的，但是函数的输入和输出之间存在这种不对称，你不会感到困扰吗？即你可以让函数接受两个参数（通过返回一个函数），但你不能让它返回两个值。我不认为我们可以在The Book中找到它。

所以关于Lambda Calculus的维基百科条目很有趣，但我已经完成了。我希望深入一点，更好地理解 Lambda 演算。

任何人都可以推荐他们认为是 Lambda 微积分最好的书或入门书吗？

我已经尝试过几次来掌握延续和call/cc的概念。每一次尝试都是失败的。有人可以向我解释这些概念吗，最好用比维基百科或其他 SO 帖子中更现实的例子。

我有网络编程和 OOP 的背景。我也了解 6502 程序集，并与 Erlang 有过一次小小的交流。但是，我仍然无法理解 call/cc。

我正在尝试了解 lambda 演算和 Church 数字的基础知识。我一直在做大量的阅读和练习，但我似乎一直在试图了解某些功能是如何工作的。

我坚持的例子如下。也许有人可以解释我哪里出错了。

1 的教堂数字可以表示为：

Church 数 (m ⁿ ) 的幂函数可以表示为：

我要做的就是证明，通过将幂函数应用于 1 和 1，我得到了 1，因为 1 ¹ = 1。我正在这样做，所以我更好地理解了这些函数是如何工作的。我的工作如下，每次都卡住：

我被困住了。我已经失去了两个f'，只剩下x'，我没有得到 1 回来。我哪里错了？