哈佛 CS152 编程语言 ⭐️

课程名称： Programming Languages
课程官网地址：2022年春
先修课程： CS51 计算中的抽象与设计、CS121 理论计算机科学导论
重要程度： ※※※※
课程评点： 美国的名校是比较重视函数式编程以及程序设计语言理论(Programming language theory,PLT)，不过这些课程都没有公开的视频，但是课程都列出了比较详细的书籍清单，完全可以看书来了解。

课程说明

美国的名校是比较重视函数式编程以及程序设计语言理论(Programming language theory,PLT)，关于函数式编程以及PLT相关的课程，基本都是必修（以及是不少核心课程的先修课），国内则极少有学校开设这方面的课程，而且极少有相关岗位。如果你有足够的学习时间（或读研），建议按照这些名校的学习路径认真学习，但如果你时间紧迫，有就业压力，这些课程可以不学。

这些课程大多都没有开放的视频，大家可以阅读一下推荐的教材以及文档，也可以去知乎了解一下相关的信息。这些名校推荐的教材都为大家整理好并提供了百度下载链接，感兴趣的同学可以把这些课程都了解一下。

本课程介绍编程语言的理论、设计和实现。本课程涵盖的主题包括：编程语言的形式语义（操作、公理、指称和翻译）、类型系统、高阶函数和 lambda 演算、懒惰、延续、动态类型、单子、对象、模块、并发和沟通。

推荐教材

🌽 Benjamin C. Pierce的《Types and Programming Languages》

电子书：类型和编程语言 英文版提取码: pr8i

🌽 Benjamin C. Pierce的《Software Foundations》

电子书：类型和编程语言 英文版 提取码: lv6p

🌽 John C. Mitchell的《Concepts in Programming Languages》

电子书：编程语言中的概念 英文版 提取码: lv6p

🌽 Glynn Winskel,的《The Formal Semantics of Programming Languages》

电子书：编程语言的形式语义 英文版 提取码: 4vr1

🌽 Shriram Krishnamurthi的《Programming Languages: Application and Interpretation》

电子书：《编程语言：应用和解释》 英文版 提取码: jfe3