问题标签 [lambda-calculus]

所以我完全被困在问题的这一部分上。如果有人可以提供帮助，那就太棒了......

证明 Z 为 λz.λx 的项 ZZ。x(zzx) 满足 ZZM =β M(ZZM) 的定点组合器的要求。

我已经在几个 Perl 脚本上卸载了一些维护任务。其中一个要求是并行下载几十个文件 (HTTP)。我在 CPAN 上寻找最简单的解决方案，并找到了这个名为IO::Lambda::HTTP的模块。

不幸的是，我完全没有函数式编程的经验（以及初学者级别的 Perl 经验），所以虽然我看到所有示例都按文档说明工作，但我无法真正修改其中任何一个以满足我的需要。

例如模块自带的示例：

像宣传的那样工作，但我一生无法弄清楚如何修改“对象”或“隐式”示例以限制为 N 个并行实例，如下 IO::Lambda 的概要：

有人可以向我展示一个示例，说明在给定上述约束的情况下（例如限制为 N 个实例）的 lambda 代码是什么样子的吗？

另外，开始学习函数式编程的最佳方式是什么？这对我来说似乎完全陌生。

我想解析一个 lambda 演算。我不知道如何解析术语并尊重括号优先级。前任：

我无法找到做到这一点的好方法。我只是看不到适应的算法。术语由具有类型（应用程序、抽象、变量）和“结构术语”类型的左右组件的结构表示。

知道怎么做吗？

编辑

很抱歉再次打扰您，但我真的很想了解。你能检查一下函数“表达式（）”，让我知道我是否正确。

谢谢

谁能告诉我学习 lambda 演算（如果有的话）的先决条件是什么？

我正在为纯功能程序开发一个虚拟机，我希望能够测试和使用已经可用的各种 Haskell 模块。VM 基本上将无类型 lambda 演算中的项作为输入。我想知道从现代 Haskell 模块（例如，使用 MPTC、模式保护等）中提取这种表示的好方法是什么。我做了一些研究，似乎还没有一个工具可以做到这一点（我很高兴弄错了），没关系。我正在寻找一种方法。

GHC Core 似乎过于注重操作，尤其是因为 VM 所做的一件事就是显着改变评估顺序。是否有任何可访问的中间表示更接近于 lambda 演算？

为了了解定点组合器的用途和用途，我编写了自己的。但是，我没有使用严格的匿名函数来编写它，例如Wikipedia 的示例，而是使用了定义：

我已经用阶乘和斐波那契的函数对此进行了测试，它似乎有效。这是否符合定点组合器的正式定义？

我有以下

我不明白为什么最后一次转换可以？不应该x.(y.y+1)(x+1)= y+1吗？为什么他能摆脱y

我正面临以下 Prolog 代码。表达式 [X]>>Y 代表 lambda 表达式 lambda XY 代码消除了 lambda 并给出了 S、K 和 I 的组合表达式：

这是一个示例，它是如何工作的：

假设我想在 Haskell、ML等中编写相同的转换代码。我怎样才能做到这一点？我可以直接使用函数式编程语言中可用的 lambda 表达式吗？还是我必须回归到一些元编程工具？

此致

PS：上面的代码不是SKI转换导致的SKI表达式很短。更好的代码可能会检查 lambda 表达式主体中绑定变量的出现。

我无法理解 lambda 演算运算符的优先级。

例如下面的代码：

将是：

或者

?

更复杂的例子：

在上面的例子中，括号在哪里？

我知道 lambda 应用程序是关联的，但是 lambda 值是否比应用程序具有更高的优先级？

为什么纯粹的无类型 lambda 演算经常被描述为无法使用？

有了合适的函数库，它会不会与任何其他函数式语言大致相同？