电子书《Principles of Programming Languages》编程语言原理
pdf下载：pl.cs.jhu.edu/pl/book/book.pdf
《编程语言原理》是由 Mike Grant、Zachary Palmer 和 Scott Smith 编写的教材，主要面向计算机科学专业的高年级本科生和研究生。内容涉及编程语言的核心概念、设计原则和实现技术，涵盖了从基础的函数式编程到高级的并发编程和类型系统等多个方面。
“在这本书中，我们的目标是研究编程语言中的基本概念，而不是学习一系列特定的语言。语言易于学习，难的是理解它们背后的概念。我们依次研究的基本特性包括高阶函数、以记录和变量形式的数据结构、可变状态、异常、对象和类以及类型。我们还研究语言实现，包括语言解释器和语言编译器。在整本书中，我们为玩具语言编写小型解释器，而在第8章，我们编写了一个有原则的编译器。我们定义类型检查器来确定哪些程序是类型正确的，哪些不是。我们还通过操作语义和类型系统的概念，对解释器和类型检查器进行了更精确、数学化的理解。这两个概念历史上是从逻辑学家对编程的视角演变而来的。”
#微博兴趣创作计划##AI创造营#