Parser组合子——从玩具到专业工具-施凡.pdf

2015-6-2 2015-6-2 Parser组合子 从玩具到专业工具 程序猿的编译器情结  Geek对重新发明轮子毫无抵抗力  编译器是程序猿熟悉的唯一技术  修电脑从来都不是（雾）  编译器工作者充分就业定理 6 为什么我们仍然需要写Parser  编译器的前端  DSL和解释器模式  大量文本表示的数据  JSON ，Mark Down，模板生成器  某些人机交互的语言 Parser是已经解决的问题吗？  理论上是的，实际是……  写一个非常好的Parser非常耗时间  能生成好的Parser的工具都难用  好用的Parser生成工具生成的Parser都不好  唯一的方法是重新发明轮子…… 8 Parser组合子的简介-大纲  Parser生成器 vs. Parser组合子  适合组合子的文法  寻找适合组合文法的编程结构 Parser生成器 vs. Parser组合子 ProductionExpression N, F, T; N ::= ‘0’..‘9’ | ‘(’ E ‘)’ F.Rule = N | F ::= N | F ‘*’ N from left in F T ::= F | T ‘+’ F from op in Asterisk E ::= T from right in N select new BinaryExp( left, op, right); Parser Generator 文法与语法动作直接融汇在代码中 Parser Code 语法动作 10 适合组合子的文法 X ::= ‘a’ X → ‘a’ X ::= A B ‘c’ D X → ε X ::= [A] X → A B X ::= {B} X ::= A | B X → A | B X ::= A? X → Y … EBNF扩展巴科斯范式 ε-乔姆斯基范式+2种扩展 表达能力丰富 其余的操作利用组合的力量来 适合Parser生成器 表达