腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
带有
教会
数字
的
1
的
后继
者
的
缩减
步骤
、
我正在尝试理解在正常
的
降序之后执行以下降序
的
正确
步骤
。在这个表达式中,我不能理解哪个是我应该执行约简
的
正确顺序,以及为什么:你能帮帮我吗?注意:这种
缩减
也可以看作是函数
的
后继
适用于
教会
数字
1
知道
数字
0表示为: (λs.λz.z)
浏览 2
提问于2018-02-20
得票数 0
回答已采纳
2
回答
如何获取
教会
数字
的
前身
、
我正在用SML练习,我正在做一个小作业,我们必须实现如下定义
的
教会
数字
:示例val我已经实现了以下函数:churchToInt: 'a church -> int 和SUC,它返回一个
教会
数字
浏览 5
提问于2010-09-27
得票数 2
1
回答
在教堂
的
数字
中,M到0
的
幂
、
、
、
、
本科计算机科学
的
一个主题。我采用由教堂编码编码
的
λ演算中
的
自然数n,通常如下所示 n := λfx.当n = 0
的
时候,它不会返回教堂<
浏览 4
提问于2020-01-11
得票数 2
回答已采纳
1
回答
教会
数字
与
后继
功能
的
实现
、
、
我正在尝试用javascript实现教堂
数字
(我对lambda微积分和js中
的
函数式编程相当陌生)c0 = s => z => zc
1
= s => z => s(z)n => s => z => s(n(s)(z)) 但是,在将C0和C<em
浏览 1
提问于2018-11-28
得票数 0
回答已采纳
3
回答
教会
数字
:我该如何从表达中解读
数字
?
、
有人能用替换向我解释我们是如何得到“零”或其他自然数
的
吗?λf.λx.x"(λf.我该如何解释这些
数字
表达式?
浏览 3
提问于2013-07-29
得票数 1
回答已采纳
1
回答
我在lambda演算中对scc
的
另一种定义正确吗?
、
、
scc是一个组合符(
后继
器),它接受一个
教会
数字
n并返回另一个
教会
数字
。我们知道
教会
数字
的
定义如下:c_
1
= λs. λz. s z;c_3 = λs. λz. s (s (s z));...scc = λn. λs. λz. s (n s z);scc' = λn. λs. c_
1
s
浏览 4
提问于2014-09-16
得票数 2
1
回答
教会
数字
、
、
、
、
以下是SICP
的
练习2.6: 练习2.6:在将成对表示为过程不够令人难以置信
的
情况下,考虑到在一种可以操作过程
的
语言中,我们可以通过实现0和加法
1
作为(定义为零(lambda (f) (lambda (x) x))(定义(add-
1
n) (lambda (f) ) (lambda ( f ) (lambda (x) )(lambda(X)(f ((n )x)来实现0和加法
1
的
运算,这样
的
表示称为
教会
数字
,以其发明<
浏览 0
提问于2016-09-11
得票数 3
回答已采纳
2
回答
以下是λ演算
的
合法
后继
函数吗?(
教会
数字
)
、
、
我从书中读到,
教会
数字
的
继承
者
是这样
的
:(\lambda n f x. f (n x) )我相信它也能执行后续功能。然而,我并不是百分之百肯定,我
的
削减是正确
的
。有人能检查一下并告诉我吗? 下面是我
的
简化:设一个
教会
数字
是(\lambda fx.f^n),其中f^n实际上是(f(f.( x) )
的
一个短版本)。它表示
数字
浏览 8
提问于2014-03-07
得票数 2
回答已采纳
4
回答
滑雪微积分高尔夫球:
教会
数字
的
一半
、
与lambda演算不同
的
是,只有在给定足够
的
参数来减少组合器时,β
缩减
才有可能。
教会
数字
是将自然数(包括零)编码为lambda表达式。一个自然数n
的
教会
编码是λf. λx. f^n\;x -给定一个函数f 和一个参数x ,f 反复应用于x n times。可以构造一个lambda表达式(因此也可以构造一个SKI表达式),以执行教堂编码中
的
各种算术(例如加法、乘法)。以下是
教会
数字
和教堂算术函数
的</e
浏览 0
提问于2020-02-02
得票数 20
2
回答
为什么
教会
数字
的
定义
我想了解,为什么
教会
定义
数字
如下:
1
= λ f . λ x . f x3 = λ f . λ x . f f f x4 = λ f . λ x . f f f f x 背后
的
逻辑是什么?
浏览 4
提问于2017-02-01
得票数 4
回答已采纳
1
回答
这个haskell表情是什么意思?
、
、
我刚开始学习Haskell,我试着用Haskell中
的
lambda微积分。我找到了这个表达式,它将一个
教会
数字
转换成一个
数字
,但我似乎不知道这个表达式中
的
0是什么意思。-> \x -> x)two = (\f -> \x -> f (f x)) 这是最后一个让我困惑
的
零。是这个lambda表达式<e
浏览 1
提问于2016-02-14
得票数 0
回答已采纳
2
回答
滑雪微积分高尔夫:你好,世界!
、
、
与lambda演算不同
的
是,只有在给定足够
的
参数来减少组合器时,β
缩减
才有可能。
教会
数字
是将自然数(包括零)编码为lambda表达式。一个自然数n
的
教会
编码是λf. λx. f^n\;x -给定一个函数f 和一个参数x ,f 反复应用于x n times。可以构造一个lambda表达式(因此也可以构造一个SKI表达式),以执行教堂编码中
的
各种算术(例如加法、乘法)。以下是
教会
数字
和教堂算术函数
的</e
浏览 0
提问于2021-08-17
得票数 12
1
回答
方案中
的
Y组合子使用教堂编号爆炸,但在常规编号上工作
、
,N
的
总和
的
递归函数外,一切都正常工作,Y-combinator耗尽了内存。奇怪
的
是,如果我使用常规
数字
计算和,Y-combinator会起作用。(r(PN)来计算N个
数字
的
和(L=lambda)。在这个表达式中,r将是递归函数,x将是教堂数,Z是零函数
的
测试,0是零作为教堂数,N是教堂数,S是
后继
函数,P是前导函数。我只是获取
教会
编号,以便对add
1
执行操作,以便获得人类可读
的
教会</em
浏览 27
提问于2021-04-22
得票数 1
回答已采纳
1
回答
如何迭代或重复非类型化函数n次?
、
、
、
我正在使用OCaml编译器进行实践,我正在执行一项小任务,我们必须实现
教会
数字
,定义为:为了计算我想要实现
的
ss加上:所以我
的
问题是,如何实现函数加,像n倍succ我尝试过类似于plus = lambda m. lambda n. lambda s. lambda
浏览 5
提问于2021-03-17
得票数 0
1
回答
使用Lambda表达式
的
Add4
、
、
我现在
的
目标是使用这两种方法来编写add4,这两种方法在
教会
数字
中增加了4。谢谢你提前帮忙..。
浏览 4
提问于2014-08-14
得票数 0
回答已采纳
3
回答
教会
数字
、
在聚合模块中有4个与
教会
数字
相关
的
练习:然后,有4个例子
的
0,
1
,2和3代表
的
教会
符号。 但如何解决这个问题呢?我知道我们必须再次应用这个函数。cnat返回
的
值将是参数。但是如何编码呢?使用递归?
浏览 3
提问于2019-02-16
得票数 2
回答已采纳
1
回答
几种
带有
教会
数字
运算
的
类型签名声明
、
我在哈斯克尔尝试执行
教会
数字
。这是我
的
密码:type Numeral a = (a -> a) -> (a -> a) add
1
= (
1
+) numerify n = n add
1
0 --= churchSucc (t
浏览 3
提问于2017-08-22
得票数 2
回答已采纳
1
回答
如何在lisp中使
教会
数字
更具人类可读性?
、
、
我可以很容易地使用scheme来定义
教会
数字
:> (f f) ;0> (f (f f)) ;
1
但是,这并不容易识别(f f)为0和(f (f f))为
1
。有没有办法使这些
数字
更具可读性?理想
的
情况是:0
1
该示例在方案中,但我将在任何lisp中获得答案。
浏览 1
提问于2010-04-20
得票数 2
回答已采纳
1
回答
理解MIPS
、
、
我需要帮助处理下面的MIPS代码 我仍然对堆栈指针保存当前子例程地址
的
工作方式感到困惑。另外,在jal事实之后会发生什么,因为看起来这段代码从未被使用过,因为jal事实总是用事实
的
地址更新PC。
浏览 1
提问于2016-10-13
得票数 0
回答已采纳
2
回答
如何从SICP调用方案编号函数?
、
在SICP中,(例如2.6),以下函数被描述为“无
数字
生存”
的
方式。我想弄明白这一点。作为起点,如何调用这些函数?我是否可以在输出为
1
的
情况下实际应用它们?(或者其他号码?)))Welcome to DrScheme, version 4.1.5 [3m].Language: Simply Scheme; memory limit: 128 megabytes.. . procedure zero: expects <e
浏览 3
提问于2009-05-05
得票数 1
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
如何让ai画画,简单的几个步骤教会你ai画画
pdf转换软件如何压缩-几个步骤教会你文件压缩的方法
当年红极一时的快播掌管者,出狱后继续“折腾”,你支持吗?
Snap实验支持用Snap Tokens购买建立带有数字商品的Lenses
开发者移除 11个Ruby 库中 18 个带有后门的版本
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券