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

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

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

我有一个方法，需要根据传递给它的字符串表达式返回 true 或 false。字符串表达式可能如下所示： （“ASDF”==“A” ||“BED”！=“BED”） && （5>=2） 或计算结果为布...

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

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

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

闭。这个问题与编程或软件开发无关。它目前不接受答案。 这个问题似乎与特定的编程问题、软件算法或程序员主要使用的软件工具无关。如果您认为该问题在另一个 Stack Exchange 站点上是主题，您可...