我正在学习一些 lambda 演算，我很好奇的一件事是如何在指令中实际应用完全抽象的函数。让我们以下面

使用 De Bruijn 表示法，可以将 lambda 项定义为： <code>fgets()</code> 或者使用通常的符号， <code>str

我正在尝试提出一种算法，可以打印给定表达式的所有可用 Beta 缩减。 我知道我需要一个匹配的模

我正在研究 Haskell lambda 演算解释器。我有一种方法可以将表达式简化为正常形式。 <pre><code>select sum(v

所以我有这个 lambda 表达式：<code>(λf.λx.f(f(f(x)))) (λg.λy.g(g(y)))(λz.z + 1)(0)</code> 并且我正在尝试手动评估

给定 Lambda 演算 (LC) 中的任何多变量表达式，例如对于某些非交换操作的任意 LC 表达式“op”： <pre><c

在静态类型语言中，人们可以使用代数数据类型来抽象数据并生成构造函数，或者使用类、特征和混合

继上一个我问到的关于编写咖喱函数的问题之后，<a href="https://stackoverflow.com/questions/68011489/how-to-create-a-m

(λy.λy.yy)(yy) 伙计们，我无法解决这个表达式。 如果有人帮助我逐步减少这个 lambda 表达式，我将不胜感激

我正在关注维基百科上关于如何处理教会文字的指南。根据文章，有一个 Haskell 片段： 维基链接<a

我正在尝试解决教堂数字解析器我有一个自定义类型，可以区分变量、lambda 和应用程序 <pre><code>type V

好吧，假设我在教堂编码中有一组函数定义（带有语法树）： <pre><code>true : λx -&gt; λy -&gt; x false : λx

给定一个列表，例如<code>(f: f FALSE (g: g FALSE (h: h TRUE FALSE)))</code>，编写一个运算符，删除所有前导 <code>FA

所以我最近一直在搞乱 Python,我正试图找到一种方法在单个表达式中输出第n个斐波纳契数列.这是我到目前为止编写的代码： (lambda f: f if f<2 else (f-1)+(f-2))(n) # n == 1 -> 1 # n == 2 -> 1 # n == 3 -> 3 # n == 4 -> 5 # n == 5 -> 7 .... 但是,正如我在上面评论的那样,它只输出一组奇

我在 JavaScript中写了一个简单的咖喱功能,在大多数情况下都能正常工作： var add = curry(function (a, b, c) { return a + b + c; }); var add2 = add(2); var add5 = add2(3); alert(add5(5)); <script> function curry(f) { var l