Language Implementation Patterns - Terence Parr

Language Implementation Patterns

Terence Parr

出版时间

2010-01-10

ISBN

9781934356456

评分

★★★★★
书籍介绍
Knowing how to create domain-specific languages (DSLs) can give you a huge productivity boost. Instead of writing code in a general-purpose programming language, you can first build a custom language tailored to make you efficient in a particular domain. The key is understanding the common patterns found across language implementations. "Language Design Patterns" identifies and condenses the most common design patterns, providing sample implementations of each. The pattern implementations use Java, but the patterns themselves are completely general. Some of the implementations use the well-known ANTLR parser generator, so readers will find this book an excellent source of ANTLR examples as well. But this book will benefit anyone interested in implementing languages, regardless of their tool of choice. Other language implementation books focus on compilers, which you rarely need in your daily life. Instead, "Language Design Patterns" shows you patterns you can use for all kinds of language applications. You'll learn to create configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. Each chapter groups related design patterns and, in each pattern, you'll get hands-on experience by building a complete sample implementation. By the time you finish the book, you'll know how to solve most common language implementation problems.
精彩摘录
  • "图11.2中所示是使用这些引擎的方法,需要给引擎提供输入语言的文法和系列的转换规则。根据文法,引擎从输入内容构造解析樹,然后应用规则到输出。"
  • "11.3模型驱动的翻译 Model-driven Translation 在模型驱动翻译器中,一切都要围绕解析器构建的输入模型进行。最简的就是创建AST模型,然后一边对其进行遍历,一边对其进行输出”。它与导译器唯一的区别是在历过程中生成代码,而不是在解析过程中生 AST的优点是可以在生成输出之前进行语义分析。"
  • "的输出语言)的语法都会搅和在一起。使用这种显式的生成类时,输入模型和输出模型之间的连通管道通常都是构造方法的参数。 将赋值子树映射到对应的输出对象其实是很自然的过程,下面来考虑更复杂的情况:译标矩的垂法运算两者的语法都一样,但是语义上却有很大的差别。所以,要想创建正确的输出模型,翻译时必须检测待翻译表达式的类型"
  • "Python采取动态类型机制,因此程序员不用指明程序实体的类型(而编译器也无法通过推断计算出所有的类型)。 Python的解释器会在运行时检查所有的语义规则。C++正好处于另一个极端,虽然其他的规则都是执行时完成的,但C+是静态类型语言,使用者必须指定所有程序实体的类型。程序实体的概念比较广泛,包括程序中的常量、变量、函数、方法、类等要素。有些语言在编译时对某些语义规则进行静态检查,但为了防止恶意程序造成破坏,在执行时还会再次检査。比如,Java在编译时刻和运行时刻都会做类型检查。"
  • "语句的含义既反映在其结构里(语法),又体现于它所使用的符号和词汇中。结构指明的是该进行什么操作,而符号代表的是对什么进行操作。 这里会对许多类型安全规则进行检查。简言之,所有的操作和赋值语句中操作数的类型必须合法 本章的几种模式都会采用三次遍历,实际上,它们前两次遍历都一样。第一次遍历, Symbol解析器构建AST:第二次遍历,树遍历器构建作用域树,并生成符号表。模式ニ十的第三次遍历会在遍历AST的时候计算各个表达式的类型。"
  • "类型提升的目的就是统一操作类型。 编译器的语义分析器使用静态类型分析器来判断该提升哪一个元素或子表达式。通常,分析器会修改中间表示树以加入需要类型转换的节点。翻译器只要进行标注即可,类型转换可以在代码生成阶段完成,这比修改树要容易多了 不光是表达式,静态类型分析器还需要分析赋值语句、返回语句、函数调语句和数组下标语句中的值的类型,以检查是否需要提升。"
  • "要实现算术类型提升,还需要两个函数:第一个函作数类型,能判断操作的结果类型;第二个函数根据输结果类型,能判断是否要进行类型提升。"
  • "实现 Cymbal的返回值类型表时,需要先定义各个类型的序号。然后定义类型。有了这些定义,就能填写算术操作的返回类型表了。"
用户评论
非常优秀,但是还不至于说可以扔掉龙书。本书重在勾勒实现思路与提炼实现模式,但缺乏理论与原理的指导。想单凭这本书来掌握编译技术是不现实的。
徐徐读完。入门书。
断断续续看完,正如书名所说 「patterns」介绍了一些实现 pattern 以及优缺点,本书例子用的是 java + ANTLR, 逐步介绍了 Lexer, Parser, Semantic Analyze, Interpreter 的实现,总的是来说适合入门了解
ANTLR&Stringtemplate的作者写的,越过编译界最难的语义解析及代码优化,真正做到了深入浅出,非常了不起!Start,2015年2月25日。唉,难以接受的结果。Done,2015年6月8日.
感觉可以归入应用类书籍,即是教会你如何去用,至于怎么用和为什么要这么用则不属于这本书的范畴.总地来说,就是一本工程味道浓重的书.
例子是用Java的某py库实现的,列举的样例有点过时,多是修饰语言
绝对实用,感觉入门了😃
翻阅评论结论:中文版翻译可读 未读完
Pragmatic Bookshelf的其他书籍查看全部

收藏