[基础软件理论与实践] 第五节作业实现 yhg2000
社区首页 (2643)




请编写您的帖子内容
社区频道(10)
显示侧栏
卡片版式
全部
学习打卡
交流讨论
作业提交
问题求助
社区公告
博文收录
Ada助手
活动专区
ReScript
最新发布
最新回复
标题
阅读量
内容评分
精选

24
评分
回复


[基础软件理论与实践] 第五节作业实现 yhg2000
开学一直在上课,五一节期间才重新着手做这次作业,对于我这个类型系统零基础的选手来说,这次作业确实很有难度…… 作业信息 课程信息:https://bbs.csdn.net/topics/608593392 作业内容描述: Complete the
复制链接 扫一扫
分享

425
5.0
1


[基础软件理论与实践] 第五节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 作业内容描述: Complete the type inference ( two substitution functions ) Complete t
复制链接 扫一扫
分享

[基础软件理论与实践] 第五节作业实现 採石
類型系統
...全文
56
5.0
回复


[基础软件理论与实践] 第五节作业实现 採石
類型系統
复制链接 扫一扫
分享

19
评分
回复


社区周报「2023-06-08」
你好, 我是 Ada, CSDN 的 AI 助手,我给你限时免费的服务,正在测试中,欢迎给我反馈。 下面是该社区的周报: 近一周社区最热的帖子: 帖子 阅读数 [基础软件理论与实践] 第五节作业实现 yhg2000 1 「基础软件理论与实践公开课」课
复制链接 扫一扫
分享

80
5.0
回复


[基础软件理论与实践] 第四节作业实现 採石
第四节作业实现
复制链接 扫一扫
分享

58
5.0
回复


[基础软件理论与实践] 第四节作业实现 yhgu2000
这次作业因为期末考试和新冠耽搁了好久,现在终于有空给它做出来了…… 作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第四节作业提交帖:https://bbs.csdn.net/topics/60945
复制链接 扫一扫
分享

97
5.0
回复


[基础软件理论与实践] 第四节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第四节作业提交帖:https://bbs.csdn.net/topics/609455877 作业内容描述: 完成汇编器(assembler)中的enco
复制链接 扫一扫
分享

35
5.0
回复


[基础软件理论与实践] 第三节作业实现(採石)
第三节作业实现
复制链接 扫一扫
分享

75
5.0
1


[基础软件理论与实践] 第二节作业实现(採石)
第二节作业实现
复制链接 扫一扫
分享

67
评分
4


Lambda interperter 实现疑问
slides 中提到我们可以用 beta-reduction 一直对 lambda 式子进行化简,但目前的 interpreter 应该不会针对 Fn(_, body) 的场景下的 body 内部继续进行 substitution,是不是这个 eva
复制链接 扫一扫
分享

48
评分
1


[基础软件理论与实践] 第二节作业实现 PerfectPan??
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 Implement the substitution fun
复制链接 扫一扫
分享

270
评分
2


[基础软件理论与实践] 第二节作业实现
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 作业基本描述 任务一 实现一下 substitution 在
复制链接 扫一扫
分享

124
评分
6


[基础软件理论与实践] 第四节课作业提交任务
HomeWork 提交操作: 在社区内发帖,帖子内描述作业基本信息,和作业实现的描述、代码、链接等。作业帖子请选择【作业提交】频道。 在本帖的任务提交列表上【提交任务】,提交作业帖子的链接。 HomeWork作业格式 标题:[基础软件理论与实践] 第
复制链接 扫一扫
分享

389
5.0
1


[基础软件理论与实践] 第三节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988916 Complete the de Bruijn index b
复制链接 扫一扫
分享

121
5.0
4


[基础软件理论与实践] 第三节作业实现 yhgu2000
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第三节作业提交帖:https://bbs.csdn.net/topics/608988916 Complete the de Bruijn index b
复制链接 扫一扫
分享

80
5.0
1


[基础软件理论与实践] 第二节作业实现 yhgu2000
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 Implement the substitution fun
复制链接 扫一扫
分享

166
5.0
1


[基础软件理论与实践] 第二节作业实现 lxr2010
作业信息 课程信息:https://bbs.csdn.net/topics/608593392 第二节作业提交帖:https://bbs.csdn.net/topics/608988912 Implement the substitution fun
复制链接 扫一扫
分享

274
5.0
1


[基础软件理论与实践] 第三节课作业提交任务
HomeWork 提交操作: 在社区内发帖,帖子内描述作业基本信息,和作业实现的描述、代码、链接等。作业帖子请选择【作业提交】频道。 在本帖的任务提交列表上【提交任务】,提交作业帖子的链接。 HomeWork作业格式 标题:[基础软件理论与实践] 第
复制链接 扫一扫
分享

281
5.0
回复


[基础软件理论与实践] 第二节课作业提交任务
HomeWork 提交操作: 在社区内发帖,帖子内描述作业基本信息,和作业实现的描述、代码、链接等。作业帖子请选择【作业提交】频道。 在本帖的任务提交列表上【提交任务】,提交作业帖子的链接。 HomeWork作业格式 标题:[基础软件理论与实践] 第
复制链接 扫一扫
分享

程序语言理论与实现-微信群(12.01最新)
[图片]
...全文
128
评分
1


程序语言理论与实现-微信群(12.01最新)
[图片]
复制链接 扫一扫
分享
为您搜索到以下结果:
225
社区成员
34
社区内容





raelidea
日程:https://bbs.csdn.net/topics/608593392
主页:https://bobzhang.github.io/courses/
B站: “张宏波的基础软件课程”
复制链接 扫一扫

确定
社区描述
日程:https://bbs.csdn.net/topics/608593392
主页:https://bobzhang.github.io/courses/
B站: “张宏波的基础软件课程” rescript开发语言 个人社区 广东省·深圳市
加入社区
获取链接或二维码
- 近7日
- 近30日
- 至今
加载中
社区公告
暂无公告