-
从教堂编码转换为数字
我正在尝试将教会编码转换为数字。我已经定义了自己的Lambda定义,如下所示: <pre><code>type Variable = -
如何编写函数使用Lambda微积分检查数组的对称性?
我正在研究Lambda微积分。我需要定义一个辛迪加的lambda图像,该图像根据输入数组是否与中心对称而返 -
评估lambda演算-或False TRUE
TRUE =λxy。 x FALSE =λxy。 y IF =λbtf。 b t f AND =λxy。如果x y为假 OR =λxy。如果 -
将以下表达式转换为简单的λ微积分
在lambda演算中,以下术语的类型是否正确? <strong> a(a b)c </strong> 我很熟悉lambda演算的语 -
执行此代码时,我得到两个输出。一种是正确的,另一种是无。代码中是否有错误? 输出
我刚刚开始学习python。在学习lambda函数的同时,我尝试执行此代码。 我得到两个输出。一种是正确的, -
正确重命名绑定变量以执行Alpha缩减
我一直在阅读<a href="https://lucasfcosta.com/2018/08/05/An-Introduction-to-Lambda-Calculus-Part-2.html" rel="nofollow noreferrer">t -
JavaScript匿名函数在lambda演算中模拟算术,结果返回`undefined`
我打算使用javascript闭包来模拟lambda演算中的基本算术,以定义<code>3 = 1 + 2</code> 像这样: <pre><code>0 : -
m等于教堂数字中的0的幂
关于本科计算机科学的主题。<br/> 在回顾该理论时,我遇到了一个关于<code>(0 m)</code>的麻烦问题,即教 -
Y组合器是左折还是右折?
Y组合器(来自<a href="https://en.wikipedia.org/wiki/Fixed-point_combinator#Fixed-point_combinators_in_lambda_calculus" rel="nofoll -
Beta减少Lambda微积分
我有以下lambda演算: 1)λx。 katze(x)(加菲猫) 2)λP。 λx P(x)(茶) 3)λy。 -
在lambdas中缓存函数参数
来自python 3.7.6的一个小代码片段,这完全让我震惊: <pre><code>def func(e, k): print(k + e) for f in [lambda -
此lambda演算的正常形式是什么,并且有任何自由变量吗?
我正在尝试学习lambda演算,但是我很难这么做。因此,如果有人能解释一下,我将不胜感激! <pre><co -
SML作为值
我正在SML中对此进行实验 <pre><code>- val p = (fn (x,y) => x + y, fn (x,y) => x - y) val p = (fn,fn) : (int * int -&g -
模式匹配在Haskell中实现Lambda演算 Variable情况: Lambda案 Apply案
我想编写一个函数,该函数将收集在lambda演算术语中用作变量和Lambda抽象的变量名。 例如,在代 -
避免捕获替代函数-Lambda演算
我正在尝试编写一个函数,该函数在Lambda演算中执行避免捕获的替换。该代码可以编译,但不会吐出正 -
如何在Coq的证明中对字符串的布尔等式进行模式匹配并同时获得所需的命题相等性?
我在尝试证明SF中的substi_correct定理时陷入困境,因为我不知道如何分解布尔相等性,同时又将其断言为 -
如何编写haskell函数的lambda演算术语,例如map?
我正在了解Haskell中的Lambda演算,并且已经看到如何为Haskell函数(如add和succ)编写lambda项。可以为诸如ma -
Beta减少Lambda演算示例
(λw。w)(λu。λv。u)(λu。λv。v)(λu。λv。u) 有人可以逐步介绍该示例的Beta减少功能吗? -
Python中较短的函数表达式:lambda的快捷方式
我知道这听起来可能是一个愚蠢的问题,但是来自Scala,我非常感谢在涉及占位符<code>.mat-slide-toggle</code> -
纯Haskell Lambda微积分中列表的功能
我正在尝试使用Haskell在纯lambda演算中实现各种功能。 一切正常 <pre><code>arr[0]</code></pre> 直到<code>{ -
Haskell中高阶函数的Lambda表达式
在<a href="https://haskellbook.com/" rel="nofollow noreferrer">this book</a>之后,Haskell中的所有内容都是<code>λ</code>-微 -
在β还原中,什么时候x等于y?
我正在从《类型理论与形式证明》一书中学习类型理论。这是替代的定义。 <a href="https://i.stack.imgu -
替换算法的时间复杂度是多少(通过评估进行归一化,显式替换)?
我正在研究lambda演算的替代算法。我想现在我了解了它们的工作原理,但是我还找不到关于它们的时间 -
整数列表的Python列表-具有一定容差的连续整数的组范围
我知道我可能想得太多,但是我被困住了。我有一个这样的升序整数列表列表: <pre><code> list_epochs = [ -
小打字机。我不明白λ的初始第二诫的含义
我尝试了以下示例,但是无论是否发生, 应用后,函数f返回与(λ(y)(f y))相同的值。 我想 -
使用JavaScript而不使用循环来生成语言字符串的最简洁方法是什么?
为了传达Lambda Calculus的优点,甚至是JavaScript实现此类(图灵完备)公式的能力,我希望看到一种最简洁 -
减少λ
我无法理解如何将lambda项简化为正常形式。有人可以帮助我了解如何减少此Lambda表达式吗?我不知道从 -
如何理解lambda表达式中的布尔表达式?
在教科书中,这是“ True”的表达:λxy.x,那是什么意思? (是否需要替换x或y?)。还有“ IFELSE”表 -
类型和编程语言:Abb代表什么?
在TAPL的全简单类型示例中。 TmAbb代表什么? <pre><code>| TmVar(fi,n,_) -> (match getbinding fi ctx n with T -
如何在C#中将函数转换为比较器
我必须以这种方式对列表进行排序,所以我必须在变量中使用函数 <pre><code>Func<Elem, Elem, int> w = (e