「基础软件理论与实践公开课」课程信息(持续更新)

编译器助手 2022-10-13 20:25:58
加精

课程:

Introduction to compilers and interpreters
基础软件理论与实践公开课
张宏波(关注张老师🫱:https://blog.csdn.net/bobzhang1988

预期管理

这门课的主要目的还是为了帮助国内的同学培养基础软件相关的兴趣,偏向于实践,但是为了学生将来继续深造,会讲解下背后的理论以及形式化相关的东西。难度会比哈佛,耶鲁,宾大的本科编译器课程略难一点,但不是研究生的研讨课那种形式。

课程完整信息

课程信息官方地址:https://bobzhang.github.io/courses/

程序语言理论是计算机科学中历史最悠久的学科之一,50多年来,ACM图灵奖获奖者中大概1/3从事程序语言与编译系统的相关研究。程序语言与编译器的设计与实现体现了计算机科学中的最核心的思想和技术,并且和业界新兴的技术领域,如人工智能加速芯片、云计算、物联网都有非常重要的联系。

本课程主要讲授程序语言设计与实现中的理论和实践,相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节,这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分,但和国外的同类课程不同的是,更多的注重把理论和实践相结合。

课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。课程的后半段会根据需要邀请其他嘉宾来进行一些分享。

该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等,该课程尽量不设前置条件,希望能培养更多学生对基础软件相关领域的兴趣,后续可能会推出一些更专业的课程。

授课的示例代码使用ReScript语言,起源于授课老师的个人作品,也是迄今国内第一个在国际范围内有一定影响力的通用编程语言。

授课的内容大部分属于作者原创,未经授权,不得转载。

课件(🔥火热更新中)

DateTopicSlidesExample codeRecommend Reading
Week 0Introduction to language design and implementation* Lec0.pdf
* Lec0.pdf-站内镜像
* Lec0-中文版, by @guenchi
* Lec0-中文版-站内镜像
代码:lec0-code.zip* Rescript配置文档

* 课程视频(01)
* 课程视频(02)
* 课程适配(03)

* 预习答疑
* 第一节作业提交
Week 1ReScript crash course* Lec1.pdf
* Lec1.pdf-站内镜像
入门教程ReScript配置文档

* 课程视频(01)

* 第二节作业提交
Week 2λ calculus* Lec2.pdf
* Lec2.pdf-站内镜像
代码:lec2-code.zip* 课程适配(01)
* 课程视频(02)
* 课程视频(03)
* 课程视频(04)

* 第三节作业提交
Week 3Names,binders, De Bruijn index* lec3.pdf
代码:lec3-code.zip* 课程视频(01)
* 课程视频(02)
* 第四节作业提交
Week 4Closure calculusTBDTBD
Week 5Pattern matchingTBDTBD
Week 6Stack machine and compilationTBDTBD
Week 7WebAssemblyTBDTBD
Week 8Garbage collection and memory managementTBDTBD
Week 9Type checkingTBDTBD
Week 10Unification, type inference, bidirectional type checkingTBDTBD
Week 11Formal verification, Guest lecturesTBDTBD
...全文
祝贺《基础软件理论与实践公开课》开课
拼手气红包 100.00元
3182 5 打赏 收藏 转发到动态 举报
写回复
用AI写文章
5 条回复
切换为时间正序
请发表友善的回复…
发表回复
SoftwareTeacher 2022-10-19
  • 打赏
  • 举报
回复
知乎上的评价: https://www.zhihu.com/question/559282635/answer/2718485896
度假的小鱼 2022-10-13
  • 打赏
  • 举报
回复
幻博士,手机端pdf下载了5次没成功,加载失败。
编译器助手 2022-10-14
  • 举报
回复
@度假的小鱼 已补充PDF镜像地址。
SoftwareTeacher 2022-10-13
  • 打赏
  • 举报
回复

这个实际的课程在哪里呢?

编译器助手 2022-10-14
  • 举报
回复
@SoftwareTeacher 补充了一波

231

社区成员

发帖
与我相关
我的任务
社区描述
日程:https://bbs.csdn.net/topics/608593392 主页:https://bobzhang.github.io/courses/ B站: “张宏波的基础软件课程”
rescript开发语言 个人社区 广东省·深圳市
社区管理员
  • raelidea
  • MoonBit月兔
  • 幻灰龙
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧