具体描述
《编程语言实现模式》旨在传授开发语言应用（工具）的经验和理念，帮助读者构建自己的语言应用。这里的语言应用并非特指用编译器或解释器实现编程语言，而是泛指任何处理、分析、翻译输入文件的程序，比如配置文件读取器、数据读取器、模型驱动的代码生成器、源码到源码的翻译器、源码分析工具、解释器，以及诸如此类的工具。为此，作者举例讲解已有语言应用的工作机制，拆解、归纳出31种易于理解且常用的设计模式（每种都包括通用数据结构、算法、策略）。虽然示例是用Java编写的，但相信读者可以触类旁通，利用这些设计模式构建针对其他编程语言（既包括特定领域语言，也包括通用编程语言）的应用。
作者简介
Terence Parr是美国旧金山大学的计算机教授、研究生导师，他一直致力于从事ANTLR项目（antlr.org）和模板引擎（stringtemplate.org）的设计和开发工作。Terence曾担任IBM、洛克希德马丁、NeXT、雷诺汽车等公司的技术顾问，另著有《ANTLR权威指南》。
目录信息
第1章 初探语言应用 3
1.1 大局观 3
1.2 模式概览 5
1.3 深入浅出语言应用 9
1.4 为语言应用选择合适的模式 17
第2章 基本解析模式 21
2.1 识别式子的结构 22
2.2 构建递归下降语法解析器 24
2.3 使用文法DSL来构建语法解析器 26
2.4 词法单元和句子 27
第3章 高阶解析模式 49
3.1 利用任意多的向前看符号进行解析 50
3.2 记忆式解析 52
3.3 采用语义信息指导解析过程 52
第2部分 分析输入
第4章 从语法树构建中间表示 73
4.1 为什么要构建树 75
4.2 构建抽象语法树 77
4.3 简要介绍ANTLR 84
4.4 使用ANTLR文法构建AST 86
第5章 遍历并改写树形结构 101
5.1 遍历树以及访问顺序 102
5.2 封装访问节点的代码 105
5.3 根据文法自动生成访问者 107
5.4 将遍历与匹配解耦 110
第6章 记录并识别程序中的符号 131
6.1 收集程序实体的信息 132
6.2 根据作用域划分符号 134
6.3 解析符号 139
第7章 管理数据聚集的符号表 155
7.1 为结构体构建作用域树 156
7.2 为类构建作用域树 158
第8章 静态类型检查 181
第3部分 解释执行
第9章 构建高级解释器 219
9.1 高级解释器存储系统的设计 220
9.2 高级解释器中的符号记录 222
9.3 处理指令 224
第10章 构建字节码解释器 239
10.1 设计字节码解释器 241
10.2 定义汇编语言语法 243
10.3 字节码机器的架构 245
10.4 如何深入 250
第4部分 生成输出
第11章 语言的翻译 278
11.1 语法制导的翻译 280
11.2 基于规则的翻译 281
11.3 模型驱动的翻译 283
11.4 创建嵌套的输出模型 291
第12章 使用模板生成DSL 312
12.1 熟悉StringTemplate 313
12.2 StringTemplate的性质 316
12.2 从一个简单的输入模型生成模板 317
12.4 在输入模型不同的情况下复用模板 320
12.5 使用树文法来创建模板 323
12.6 对数据列表使用模板 330
12.7 编写可改变输出结果的翻译器 336
第13章 知识汇总 348
13.1 在蛋白质结构中查找模式 348
13.2 使用脚本构建三维场景 349
13.3 处理XML 350
13.4 读取通用的配置文件 352
13.5 对代码进行微调 353
13.6 为Java添加新的类型 354
13.7 美化源代码 355
13.8 编译为机器码 356
参考文献 359
索引 361
· · · · · · (收起)
读后感
最近在看这本书，初衷是学习编译器实现的相关模式。 做过编译器前端的相关开发工作，所以感觉本书前面提及的内容都还比较浅显易懂。 但到了后面的，语意分析，代码执行等部分一直是用ANTLR描述语言来讲解。 这和我的预期有很大的不同。 我以前没用过ANTLR， 现在也不打算学习这...
这本书，提供了cookbook式的编写小型编译器的各种模式； 这本书，也提供了编写GPPL（大型语言编译器）的基础知识（比如有些小型编译器用不到的符号表）； 对于在非AT&T工作的low逼程序员的生活中，文件解析，lint程序，transpile程序，绝对要比深入gcc，g++要更亲切，而这本书...
这本书，提供了cookbook式的编写小型编译器的各种模式； 这本书，也提供了编写GPPL（大型语言编译器）的基础知识（比如有些小型编译器用不到的符号表）； 对于在非AT&T工作的low逼程序员的生活中，文件解析，lint程序，transpile程序，绝对要比深入gcc，g++要更亲切，而这本书...
这本书最嚣张的软文肯定不是我写的，翻开此书，我们摘录前两段： “别看那些编译原理的书了！这本书教你编写真正实用的解析器、翻译器、解释器等语言应用，⋯⋯” 这个⋯⋯这位是 Python 语言的发明人，著名的龟叔（Guido Van Rossum）。 “我的龙书被打入冷宫了！” ...
2012年4月第一版第一次印刷 P59最后一段“由于C++函数头文件不限大小”，英文版中是“function header”应翻译为函数头。 P88页中间“因此可以用前缀操作父^制定操作符词法单元”，英文版中是”suffix“应翻译为后缀。
用户评价
我对于《编程语言实现模式》这本书的初步感受是，它不仅仅是一本技术手册，更像是一本关于“思想”的书。在我的编程生涯中，我曾无数次遇到过各种语言特性和实现上的困惑，而这本书似乎提供了一个统一的视角来解读这些现象。我非常期待书中能够深入探讨那些贯穿于不同编程语言实现的“共性”和“模式”。例如，如何有效地处理递归、如何实现内存管理（手动或自动）、如何设计灵活的错误处理机制，以及如何构建一个健壮的并发模型。我希望书中不仅仅是列举各种实现方式，更能分析这些模式的优缺点，以及它们适用于何种场景。我觉得，理解这些“模式”能够帮助我跳出单一语言的局限，形成一种跨语言的、更具普适性的编程思维。这本书给我的感觉是，它能够帮助我建立起一个关于“语言”的“元认知”，让我能够更深刻地理解不同语言之间的异同，以及它们背后的设计哲学。这种能力的提升，对于我在学习新语言、理解复杂框架，甚至在进行技术选型时，都将起到至关重要的作用。
在我看来，《编程语言实现模式》这本书所承诺的，是一次深入编程语言“心脏”的探险。我一直认为，要真正成为一名优秀的工程师，理解我们所依赖的工具的内在机制是必不可少的。而编程语言，无疑是我们最核心的工具之一。这本书似乎提供了一个绝佳的机会，让我能够窥探那些将我们编写的代码转化为机器能够执行的指令的过程。我非常好奇书中是否会涉及关于虚拟机（VM）的设计和实现，例如Java虚拟机（JVM）或.NET通用语言运行时（CLR）的原理，以及它们如何实现跨平台运行和内存管理。另外，对于脚本语言的动态特性，如动态类型、动态方法查找等，是如何在实现层面被高效支持的，我也很想了解。我希望这本书能够提供一些关于如何设计一个易于扩展、易于维护的语言实现架构的思路。这对于我今后在构建复杂系统或者参与开源项目时，都会非常有益。这本书给我的感觉是，它不仅仅是关于“如何做”，更是关于“为何如此”。这种对底层原理的探究，能够极大地提升我解决问题的能力和对技术的洞察力。
从我拿到《编程语言实现模式》这本书到现在，虽然还没能完整地消化内容，但我对其潜在的价值已经有了相当的预期。这本书给我的感觉，就像是为我打开了一扇通往“语言底层”的大门。我一直认为，真正掌握一门编程语言，不仅仅是熟悉它的语法和API，更重要的是理解它为何是这样设计的，它的性能瓶颈在哪里，以及它在不同场景下最适合的运用方式。而这本书似乎正是致力于解答这些“为什么”和“如何做”的问题。我尤其看重书中是否能够提供关于如何构建一个高效、可扩展的语言实现框架的指导。这包括了对前端（解析、语义分析）和后端（代码生成、优化）的深入剖析，以及如何选择合适的数据结构和算法来支持这些过程。此外，我个人对语言的模块化和可扩展性设计非常感兴趣。一个好的语言实现模式，应该能够支持语言功能的不断迭代和丰富，而不是一次性的固定设计。我希望这本书能够让我从“使用者”的角度，跃升到“设计者”的视角，去思考一门语言的生命周期和演进过程。这种能力的提升，对于我个人在软件架构设计和性能调优方面，无疑会带来极大的帮助。
作为一名资深程序员，我最近购入了一本名为《编程语言实现模式》的书，尽管我尚未深入研读，但从其目录和零星翻阅的内容来看，我对其内容和价值已经有了初步的判断。这本书似乎是一次对编程语言设计与实现背后深层逻辑的探索之旅。我个人对编译器、解释器以及虚拟机的工作原理一直抱有浓厚的兴趣，而这本书的题目恰好触及了这个领域的核心。想象一下，能够解构像C++、Java、Python这些强大语言的内部运作机制，理解它们是如何被翻译、执行，以及如何管理内存和优化性能的，这本身就是一件极具吸引力的事情。我尤其期待书中能详细阐述诸如词法分析、语法分析、抽象语法树（AST）的构建、中间代码生成、以及各种优化技术（如循环展开、内联函数）等关键环节。这些是理解语言特性和性能瓶颈的基石。此外，对于各种编程范式（如面向对象、函数式、逻辑式）的实现考量，书中是否能提供具体的模式和技巧，我也非常期待。毕竟，不同的范式往往需要不同的底层实现策略，而一个好的实现模式能够极大地提升语言的表达力和效率。我希望这本书能像一个经验丰富的向导，带领我一步步揭开这些复杂系统的神秘面纱，让我能够不仅仅是“使用”这些语言，更能“理解”它们，甚至在未来有机会参与到新语言的设计与实现中。
我最近偶然接触到了《编程语言实现模式》这本书，它给我留下了一种“大开眼界”的初步印象。虽然我还没有来得及细细品读，但仅仅是浏览其章节标题和一些示例代码片段，就让我感受到了它在深度和广度上的非凡之处。我一直对那些将高级概念转化为机器指令的“幕后英雄”——编译器和解释器——充满了好奇。这本书似乎不仅仅是罗列一些技术名词，而是真正深入到“模式”层面，去揭示在语言实现过程中，那些被反复验证、行之有效的解决方案。我非常好奇书中对于不同类型语言（例如静态类型与动态类型、编译型与解释型）的实现差异，以及它们各自的优劣势会有怎样的分析。我特别期待书中能够讲解一些关于类型系统、垃圾回收机制、以及并发模型是如何在语言层面被设计的，这些都是决定一门语言是否强大、易用的关键要素。这本书给我的感觉是，它提供了一个从宏观到微观的视角，让我们能够理解一门编程语言不仅仅是语法糖，更是背后精妙的工程设计和理论实践的结晶。我希望这本书能帮助我建立起一个更系统、更全面的编程语言知识框架，让我对未来学习和开发新的语言工具产生更深的启发。
继续填坑，还指望着看完这个去定制下CoffeeScript呢……感谢徐老师赠书（再一次o(∩_∩)o ）
本书有个标签‘屠“龙书” ’哈哈哈
ANTLR大法好。
yet another antlr reference book
yet another antlr reference book
