已关闭。这个问题是基于意见的。它目前不接受答案。 想改进这个问题吗？更新问题，以便可以通过编辑这篇文章来用事实和引文来回答。 去年关闭。 改进此问题 函数中的自由变量是闭包中的事物“闭合”吗？...

这个问题在这里已经有答案了： 在循环中创建函数（或lambda）（或理解）（ 7 个答案） lambda 函数闭包捕获什么？ （8 个答案） 7个月前关闭。 为方便起见，我想将几个函数定义为给定函数...

有没有办法在 lambda 演算中对异常处理进行建模？ 我之所以这么问，是因为在过程语言和衍生范式中处理异常状态的多种方式是很常见的。即使在 C 语言中，您也可以简单地使用 、 和 来模拟这种行为。 ...

我正在尝试在 Haskell 中实现组合逻辑，目前正在编写一个函数步骤，它使用标准简化规则返回所有可能的一步缩减的列表。当在变量 S （S I） （K I） （S I K） I 上运行 step 函数...

我试图证明euclid_gcd定理，但我被困在归纳的第二种情况下。大多数时候，我都会遇到统一错误。 我会很高兴得到一些帮助。 Require Import Arith.Arith. Import N...

在《小阴谋家》的第 9 章中，作者介绍了 Y 组合器，倒数第二个问题问道：“什么是”。他们回答说：“谁知道呢，但它非常努力。(Y Y) 我试着对此进行推理，但很难过。我认为这只会导致无限循环，但也许...

在 lambda 演算中，“true”被定义为接受两个参数但返回第一个参数的函数： true = \x.\y.x 如果你在只给出一个论据后懒惰地评估它会发生什么？ (\x.\y.x a) ...

问题是简化这个 λ 表达式 （λx.x）（λx. λy. y x） 8 （λx. x + 1） 我现在的想法如下 （λx.x）（λx. λy. y x） 8 （λx. x + 1） = （λx. λ...

注意：我从这里获取了定义：https://en.wikipedia.org/wiki/SKI_combinator_calculus#Informal_descriptionSI 所以，或者在 Ru...

在我的理学士课程中，我被教导说，在函数式编程中，偶数是返回自身的函数。我读过 lambda 演算只由函数组成，没有其他内容，所以这是有道理的。但是，我没有找到任何关于函数式编程的文章，这些文章将数字引...