整本书的核心:语言的设计与实现 我们所看到的设计是显示的,语法定义的, 而实现是隐式的,决定了编译或运行时的行为. 了解设计的目的,可以推测实现的细节,也可以自己实现设计. 学习具体的实现,更充分的达到高效设计. 行文的逻辑基本就是,对于一种特定设计 1.从程序员的使用者角度,解释该设计的必要性. 简化代码,清晰概念. 2.实现的细节,包括编译与运行中的推断与检查等,也有可能是个语法糖,简单的实现换来优美的设计. 设计的实现 3.设计的演变,实现的转变影响设计的优劣 从历史的角度说明设计的合理性…