程序设计语言的形式语义 - 梁红瑾¶
基本信息¶
- 课程号:
22011510 - 任课教师: 梁红瑾
- 上课专业: 信计,计拔,计科
课程评价¶
评价 1¶
评价者信息¶
Tag：保研；Rank 10%；2024 Fall修课
Score：91
关于老师¶
由梁红瑾老师授课。梁老师也是在 PL 领域非常有名的青年学者。
前置知识¶
基本数学功底。
课程内容¶
课程主要讲了编程语言的形式语义，包括
- Lambda 演算，Hoare 逻辑，操作语义
- 类型系统，类型推导
这些对于 PL 的研究有着基础性的作用。
个人认为这门课学习后，会对编程语言的设计有新的视角（尤其你会 Rust, Typescript, Haskell 等现代一点的语言的话）。对于以后 PL/SE/System 方向的研究都大有裨益。
作业、考试与得分¶
作业难度适中，基本是课上的内容/衍伸内容。
考试则是利用这些形式语义/类型系统，来探究一些新的编程语言特性。难度也不算很大。
学习指南¶
认真听课和看 PPT 足矣。
如何贡献¶
请查看评价指南了解如何评价课程！