λ-calculus是函数定义，函数应用和递归的形式系统，它构成了函数式编程的数学基础。
所以我在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指数实现的吗？只是想知道......
任何人都可以帮我一个如何在JOOL中创建Range的示例＆JOOL中Range的含义是什么？它的java文档说A范围是一个特殊的{@link Tuple2}，它的类型是两倍。 ...
我很好奇Lambda Calculus中是否有这个函数的特定名称const whatsMyName = f => a => {f（a）;返回a}另外，这是正确的签名吗？ //（f - > a - > b）......
如何使用下面给出的加法算术表示法在lambda演算中添加两个数字？ m + n =λx.λy。（m x）（n x）y 2 =λa.λb.a（a b）3 =λa.λb.a（a（a b））
Lambda Calculus：构建一个函数，每次迭代都需要更多的参数
我正在尝试构建一个函数，该函数接受给定数量的参数并始终返回相同的值。这是家庭作业的一部分。提供了一个提示：“k-way T”是一个功能......