Hindley-Milner 的哪个部分你不理解？
我发誓曾经有一件T恤出售，上面印着不朽的话： 你不理解的部分是什么？ 对于我来说，答案是......全部！ 特别是，在Haskell论文中经常看到这样的符号，但我不知道它们的含义。我不知道它应该属于哪个数学分支。 当然，我认识希腊字母和符号“∉”（通常表示某物不是集合的元素）。...
为什么Haskell（GHC）如此之快？
Haskell（使用GHC编译器）比你想象的要快得多。如果使用正确，它可以接近低级语言。（Haskeller 最喜欢的事情之一是尝试让 Haskell 接近 C 的速度（甚至超过它，但这意味着您正在使用效率低下的 C 程序，因为 GHC 将 Haskell 编译成 C）。）我的问题是，为什么呢...
为什么λ演算最优求值器能够在没有公式的情况下计算大型模指数？
Church数是将自然数编码为函数的一种方法。(\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) --...
知道lambda演算对于IT技术有多大帮助？
对于所有了解 λ演算 的人： 在编程方面，它给你带来了什么好处？你会推荐别人学习吗？
什么是call/cc？
我曾尝试多次理解continuations和call/cc的概念，但每一次都失败了。是否有人能够用比维基百科或其他SO帖子更加真实的例子来解释这些概念呢？ 我具备Web编程和面向对象编程背景。我还了解6502汇编语言，并且稍微接触过Erlang。然而，我仍然无法理解call/cc。
Lambda演算规约步骤
我正在学习Lambda演算，但卡在了约化上......有人能用这个例子解释一下约化的类型，尤其是最简单的beta约化吗？如果有简单易懂的教程也不介意。(λxyz .xyz )(λx .xx )(λx .x )x
Haskell如何将图灵完备性添加到System F中？
我一直在研究各种类型系统和λ演算，发现λ立方中的所有类型化λ演算都是强求值归一化的，而不是图灵等效的。这包括System F，简单类型的λ演算加多态性。 这引出了以下问题，我无法找到可理解的答案： (例如) Haskell 的形式与基于它的演算之间有什么区别？ Haskell 中的哪些语...
什么是“避免捕获替代”？
在维基百科阅读λ演算时，看到了术语避免变量捕获的替换。有人能解释一下它是什么意思吗？我无法在任何地方找到定义。 谢谢 PS 我想知道称之为避免变量捕获的替换操作的原因。如果有人能解释一下，那将是极大的帮助。
是否有可能构建一个相对快速的无类型 λ 演算机器？
纯无类型 λ 演算是一个强大的概念。然而，构建一台能够应用于现实世界的计算机或解释器通常被描述为（接近）不可能的。我想对此进行调查。理论上是否可能构建一台相对较快的无类型 λ 演算机？ 所谓“相对较快”，通常意味着在类似的任务范围内，使用类似的资源（门、操作、物理空间、功率等），与现代图灵机...