λ-calculus是函数定义，函数应用和递归的形式系统，它构成了函数式编程的数学基础。
要求GHC打印“one”和“succ zero”的类型（lambda calculus编码数字的方式），我得到两种不同的类型！它们不应该是一样的吗？你能告诉我如何推导它的类型......
因此关于Lambda微积分的维基百科条目很有意思，但我已经完成了。我希望深入一点，更好地理解Lambda微积分。任何人都可以推荐他们......
在以下代码中，Coq接受语句add'_commut，但由于Universe不一致而拒绝add_commut。设置宇宙多态性。定义nat：类型：= forall（X：...
我正在研究Lambda微积分并且我坚持减少....可以用这个例子来解释减少的类型，特别是以最简单的方式减少beta。也不介意......
应用程序具有比抽象更高的优先级。从这个意义上讲，什么是lambda演算抽象？我对什么有优先权感到困惑？
在Lambda Calculus中定义二进制指数运算符CARAT
我试图在lambda演算中定义运算符CARAT的二进制指数运算符。例如，这个运算符可能有两个参数，数字为2的lambda编码和...的lambda编码。
在其中，我正在尝试创建一个Krivine抽象机器。我需要构建的一种数据类型是环境。环境就是这样构建的：我们有x，一个“Var”（这只是字符串的同义词）......
所以我在Haskell中学习lambda演算，我正在尝试实现一个isEven函数，如果它是偶数则返回true，否则返回false。我知道0是偶数然后1是奇数然后......
我最近在lambda演算中编写了很多程序，我希望我可以实时运行其中一些程序。然而，尽管趋势功能范式基于lambda演算......
lambda演算有以下表达式：e :: =表达式x变量（λx.e）函数e e函数应用程序从这个基础，我们可以......
如何减少以下lambda表达式（λs.λq.sqq）（λq.q）q？在第一个括号中，q q是表达式的输入（λs.λq.s）还是表达式的一部分（s q q）？ （λs.λq.s......
我一直在深入研究FP及其周围的一切，我发现了某种类型的投影仪的概念，没有细节也没有解释。我发现的唯一一件事是这个github ......
λxyz.xz（yz）是Lambda微积分中的抽象或应用程序吗？
根据lambda演算，应将λxyz.xz（yz）视为将λxyz.xz应用于（yz）或将xz（yz）中的括号视为简单意味着操作应该类似于（xz）（yz）而不是（（XZ）...
为了好玩，我想为无类型的Lambda演算编写一个解析器。最简单的方法可能是写一个手写的解析器，但我想知道是否有更多的Pythonic方式？具体来说，我想......
我在JavaScript中编写了一个简单的curry函数，它适用于大多数情况：const add = curry（（a，b，c）=> a + b + c）; const add2 = add（2）; const add5 = add2（3）;的console.log（...
是否有λ项M和B，M = / = B，因此M B和（M B）（M B）具有相同的规范形式？当我还是lambda演算的新手时我遇到了一个问题我接近这个...
我有以下表达式：（（（\ xy - > xy（\ z - > z + 1））5）除此之外，我有以下公式：我（想）我知道如何正确地减少它：（（\ y - > y）（\ z - > z + 1）5）（...
有没有明确的方法来找到lambda演算中的术语？例如，假设我们有一对构造函数对=λa。 λB。 λf的。 f a b我们有fst构造函数fst =λp。 p（λa.λb.a）......
你如何使用GADT在OCaml中定义一个简单的lambda演算类DSL？具体来说，我无法弄清楚如何正确定义类型检查器从无类型AST转换为类型AST也...
在OCaml中，似乎“有趣”是我的绑定操作符。 OCaml有内置替代吗？如果是，如何实施？是用de Bruijn指数实现的吗？只是想知道......