λ-calculus是函数定义，函数应用和递归的形式系统，它构成了函数式编程的数学基础。
我们可以通过以下方式由YCombinator定义一个递归函数，例如阶乘； elisp ;;;此代码有效。谢谢 ;;; https：//www.diegoberrocal.com/blog/2015/10/12/y-combinator-in-emacs -...
Haskell帮助：用新变量替换lambda项中的项！ （简单的错误需要修复…）
我正在尝试编写一个函数，当传递的变量VX = [“ v1”，...“ vn”]和一个术语时，将分别用VX中的变量替换传递的术语中的所有术语。我的函数适用于...
（（λy.xz）c我认为关于这个问题的答案是x z。如果正确，为什么（λy.xz）c = x c不正确？在这种情况下，我指的是（λy.xz）=（λy.x）z = x。因此，我首先在括号中进行计算。...
我想在不应用函数的情况下将其求值为标准形式，例如，\ n-> n + sum [1..100]应求值为\ n-> n + 5050，但是没有NFData实例...
如何在字符串的布尔等式上进行模式匹配，并同时在Coq的证明中获得所需的命题等式？
我在尝试证明SF中的substi_correct定理时陷入困境，因为我不知道如何分解布尔相等性，同时又将其断言为命题相等性。定理...
我正在尝试学习lambda演算，但是我很难做到这一点。因此，如果有人可以解释一下，我将不胜感激！ （λj.λx.f（j x））（λy.fy）
[我正在SML中对此进行实验-val p =（fn（x，y）=> x + y，fn（x，y）=> x-y）val p =（fn，fn）：（int * int-> int）*（int * int-> int）但我一次只能对其进行一次评估-＃...
Haskell中的级联以及与AList（[a]-> [a]）的混淆]
我有一个项目，我们正在提高在Haskell中连接列表的速度。我是Haskell的新手，对AList（[a]-> [a]）感到困惑，特别是如何将我的AppendedList转换为常规...
HASKELL lambda表达式'\ xs->…'具有一个参数，但其类型'[t]'没有任何参数
我们不得不在Haskell中编写lambda函数，但它总是显示错误。我做错了什么？所有代码都有相同类型的错误，但我不知道如何正确处理。长度':: [a]-> [...
我有以下lambda演算：1）λx。 katze（x）（加菲猫）2）λP。 λx P（x）（tea）3）λy。 λx likes（x，y）（Mia）如何通过Beta减少来减少它们？我的解决方案：1）katze（...
有关本科计算机科学的主题。在回顾该理论时，我遇到了一个麻烦的问题，关于（0 m）的问题，在lambda演算中，教堂的数字取幂。据我...
Lambda演算中的JavaScript匿名函数模拟算法，结果返回`undefined`
我打算使用javascript闭包来模拟lambda演算中的基本算术，以如下方式定义3 = 1 + 2：0：=λf.λx.x1：=λf.λx.fx2：=λf.λx。 f（fx）3：=λf.λx.f（f（fx））...
[我一直在阅读此博客以了解更好的alpha重命名和alpha减少，目前我了解要正确执行它，我们只需要重命名绑定变量，这一切都很好，而且...
我一直在按照Pierce的类型和编程语言来在Rust中实现System F-omega的实现，我正在寻找有关使用...向我的实现中添加递归类型的指南。
我正在尝试将教会编码转换为数字。我已经定义了自己的Lambda定义，如下所示：类型Variable =字符串数据Lambda = Lam Variable Lambda | App Lambda Lambda ...
我想为简单类型的lambda演算构造一个简单的解析器/类型检查器/评估器。我已经在Rust中实现了这种方法，但是作为C ++的新手，我不确定哪种最佳方法是...
我仅从eta扩展SimpleExpr :: = SimpleExpr1`_'中找到了一些间接线索如果𝑒是方法类型或𝑒是按名字调用参数，则表达式_ _格式正确。如果𝑒...