[基础软件理论与实践] 第五节作业实现 rushi
社区首页 (3271)
![](https://csdnimg.cn/release/cmsfe/public/img/fileIcon.a6096f0b.png)
![](https://csdnimg.cn/release/cmsfe/public/img/fileIcon.a6096f0b.png)
![](https://csdnimg.cn/release/cmsfe/public/img/fileIcon.a6096f0b.png)
![](https://csdnimg.cn/release/cmsfe/public/img/fileIcon.a6096f0b.png)
请编写您的帖子内容
社区频道(10)
显示侧栏
卡片版式
全部
学习打卡
交流讨论
作业提交
问题求助
社区公告
博文收录
Ada助手
活动专区
ReScript
最新发布
最新回复
标题
阅读量
内容评分
精选
![](https://img-home.csdnimg.cn/images/20221109053818.png)
174
评分
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg4.515d57f6.png)
![](https://profile-avatar.csdnimg.cn/8c53e64f84a04fa09708209e93f0d811_yilu_beiyu.jpg!1)
[基础软件理论与实践] 第五节作业实现 rushi
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 作业内容描述: Complete the type inference ( two substitution functions ) Complete t
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221110040236.png)
172
评分
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg1.98114ddf.png)
![](https://profile-avatar.csdnimg.cn/b01211e3bc5e44288dafa9ab8f2f1879_u014132143.jpg!1)
[基础软件理论与实践] 第五节作业实现 yhg2000
开学一直在上课,五一节期间才重新着手做这次作业,对于我这个类型系统零基础的选手来说,这次作业确实很有难度…… 作业信息 课程信息:https://bbs.csdn.net/topics/608593392 作业内容描述: Complete the
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053613.png)
580
5.0
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg4.515d57f6.png)
![](https://profile-avatar.csdnimg.cn/de4418674df847d68cc9eb7cca0bee14_lxr2010.jpg!1)
[基础软件理论与实践] 第五节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 作业内容描述: Complete the type inference ( two substitution functions ) Complete t
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053809.png)
[基础软件理论与实践] 第五节作业实现 採石
類型系統
...全文
191
5.0
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg4.515d57f6.png)
![](https://profile-avatar.csdnimg.cn/ce0a410e41364ca99a8c8472d55d159d_store88.jpg!1)
[基础软件理论与实践] 第五节作业实现 採石
類型系統
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062119.png)
204
5.0
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg2.05330abf.png)
![](https://profile-avatar.csdnimg.cn/ce0a410e41364ca99a8c8472d55d159d_store88.jpg!1)
[基础软件理论与实践] 第四节作业实现 採石
第四节作业实现
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062159.png)
187
5.0
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/b01211e3bc5e44288dafa9ab8f2f1879_u014132143.jpg!1)
[基础软件理论与实践] 第四节作业实现 yhgu2000
这次作业因为期末考试和新冠耽搁了好久,现在终于有空给它做出来了…… 作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第四节作业提交帖:https://bbs.csdn.net/topics/60945
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062152.png)
225
5.0
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/de4418674df847d68cc9eb7cca0bee14_lxr2010.jpg!1)
[基础软件理论与实践] 第四节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第四节作业提交帖:https://bbs.csdn.net/topics/609455877 作业内容描述: 完成汇编器(assembler)中的enco
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053731.png)
155
5.0
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg4.515d57f6.png)
![](https://profile-avatar.csdnimg.cn/ce0a410e41364ca99a8c8472d55d159d_store88.jpg!1)
[基础软件理论与实践] 第三节作业实现(採石)
第三节作业实现
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062149.png)
194
5.0
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg2.05330abf.png)
![](https://profile-avatar.csdnimg.cn/ce0a410e41364ca99a8c8472d55d159d_store88.jpg!1)
[基础软件理论与实践] 第二节作业实现(採石)
第二节作业实现
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053539.png)
183
评分
4
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
Lambda interperter 实现疑问
slides 中提到我们可以用 beta-reduction 一直对 lambda 式子进行化简,但目前的 interpreter 应该不会针对 Fn(_, body) 的场景下的 body 内部继续进行 substitution,是不是这个 eva
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053539.png)
147
评分
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg4.515d57f6.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
[基础软件理论与实践] 第二节作业实现 PerfectPan??
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 Implement the substitution fun
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053539.png)
396
评分
2
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg2.05330abf.png)
![](https://profile-avatar.csdnimg.cn/848df955f39641de9bebf41ee6b45903_thankssunhine.jpg!1)
[基础软件理论与实践] 第二节作业实现
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 作业基本描述 任务一 实现一下 substitution 在
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109054038.png)
234
评分
6
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/4c361a3add114466a1c4f3ee99222a39_huanhuilong.jpg!1)
[基础软件理论与实践] 第四节课作业提交任务
HomeWork 提交操作: 在社区内发帖,帖子内描述作业基本信息,和作业实现的描述、代码、链接等。作业帖子请选择【作业提交】频道。 在本帖的任务提交列表上【提交任务】,提交作业帖子的链接。 HomeWork作业格式 标题:[基础软件理论与实践] 第
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109053539.png)
507
5.0
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/de4418674df847d68cc9eb7cca0bee14_lxr2010.jpg!1)
[基础软件理论与实践] 第三节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988916 Complete the de Bruijn index b
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062116.png)
295
5.0
4
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg2.05330abf.png)
![](https://profile-avatar.csdnimg.cn/b01211e3bc5e44288dafa9ab8f2f1879_u014132143.jpg!1)
[基础软件理论与实践] 第三节作业实现 yhgu2000
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第三节作业提交帖:https://bbs.csdn.net/topics/608988916 Complete the de Bruijn index b
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221109054308.png)
194
5.0
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg4.515d57f6.png)
![](https://profile-avatar.csdnimg.cn/b01211e3bc5e44288dafa9ab8f2f1879_u014132143.jpg!1)
[基础软件理论与实践] 第二节作业实现 yhgu2000
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 Implement the substitution fun
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221110040243.png)
289
5.0
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/de4418674df847d68cc9eb7cca0bee14_lxr2010.jpg!1)
[基础软件理论与实践] 第二节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 Implement the substitution fun
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062043.png)
378
5.0
1
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/4c361a3add114466a1c4f3ee99222a39_huanhuilong.jpg!1)
[基础软件理论与实践] 第三节课作业提交任务
HomeWork 提交操作: 在社区内发帖,帖子内描述作业基本信息,和作业实现的描述、代码、链接等。作业帖子请选择【作业提交】频道。 在本帖的任务提交列表上【提交任务】,提交作业帖子的链接。 HomeWork作业格式 标题:[基础软件理论与实践] 第
复制链接 扫一扫
分享
![](https://img-home.csdnimg.cn/images/20221026062043.png)
420
5.0
回复
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg3.9519d347.png)
![](https://profile-avatar.csdnimg.cn/4c361a3add114466a1c4f3ee99222a39_huanhuilong.jpg!1)
[基础软件理论与实践] 第二节课作业提交任务
HomeWork 提交操作: 在社区内发帖,帖子内描述作业基本信息,和作业实现的描述、代码、链接等。作业帖子请选择【作业提交】频道。 在本帖的任务提交列表上【提交任务】,提交作业帖子的链接。 HomeWork作业格式 标题:[基础软件理论与实践] 第
复制链接 扫一扫
分享
为您搜索到以下结果:
231
社区成员
35
社区内容
![](https://csdnimg.cn/release/cmsfe/public/img/topic.427195d5.png)
![](https://csdnimg.cn/release/cmsfe/public/img/me.40a70ab0.png)
![](https://csdnimg.cn/release/cmsfe/public/img/task.87b52881.png)
![](https://csdnimg.cn/release/cmsfe/public/img/shareBg2.05330abf.png)
![](https://img-community.csdnimg.cn/avatar/7f66bf0839fa43f4bccf14339e79e571.png)
raelidea
日程:https://bbs.csdn.net/topics/608593392
主页:https://bobzhang.github.io/courses/
B站: “张宏波的基础软件课程”
复制链接 扫一扫
![](https://csdnimg.cn/release/cmsfe/public/img/share-circle.3e0b7822.png)
确定
社区描述
日程:https://bbs.csdn.net/topics/608593392
主页:https://bobzhang.github.io/courses/
B站: “张宏波的基础软件课程” rescript开发语言 个人社区 广东省·深圳市
加入社区
获取链接或二维码
- 近7日
- 近30日
- 至今
加载中
社区公告
暂无公告