今天在推特碰巧看到张汉东老师在看本书, 于是我也跟风看了一眼.

这本书虽然对于类型系统和数学定义解释的没有诸如 TAPL 之类的详细, 但是确实书中的一些模型和观点都非常符合近几年编程语言普遍的演化方向, 而且书中介绍了很多不同种类的诸如并发, 抽象, 数据类型等的实现方法, 对于想要自己造编程语言的人和想要更近一步理解编程语言的人都是一个非常好的开始

推荐指数: ⭐⭐⭐⭐

(zlibrary 有 原版PDF)