很多现代命令式语言，例如C#或Python，都吸收了相当多的函数式语言特性，从而能够用比以往简单得多的语法实现语法分析器（或Parser）。许多开发人员都以能够用华丽而简洁的语法实现Parser甚至Parser生成器为荣。利用函数式语言的特性，这些语言都可以实现一种称作组合子的逻辑来生成Parser。组合子可以将基本的语法元素用函数式的语法加以组合，优雅地表达各种语法的同时将Parser本身实现出来。然而，尽管最简单的Parser组合子只需要数行代码即可实现，但它的功能和性能尚无法达到实用阶段。在真实世界，我们希望语法分析器能够报告出文本当中所有的语法错误，而不仅仅是在第一个语法错误上抛出异常。这就需要Parser具有错误恢复的能力。此外，大部分编程语言的文法，若采用左递归的形式通常都会更加简洁直观，有些语言甚至要利用一些带有歧义的文法。而最简单的组合子Parser不仅不能够进行错误恢复，支持的文法也仅限于不支持左递归的LL类型。

本次演讲将从一个数行代码就能写出的，优雅漂亮但不实用的玩具级Parser组合子开始，逐渐增强为带有错误恢复，并且支持全部上下文无关文法，甚至是歧义文法的专业级Parser组合子的过程，着重展示了成熟语法分析的算法与现代语言相结合的设计理念。