Reproachfully Presenting Resilient Recursive Descent Parsing
6 months ago
- #rust
- #parsing
- #programming-languages
- 本文是关于使用Rust创建编程语言系列文章中的一篇，重点讨论解析环节。
- 解析是编译器的第一道工序，将源代码文本转换为内存中的树状表示结构。
- 作者表达了对解析教程的不屑，指出这类资源虽然泛滥但语法设计挑战依然存在。
- 解析承担两大功能：验证语法正确性，以及构建源代码的结构化表示（通常是语法树）。
- 文章探讨了解析的复杂性，包括语法设计选择（如空白符敏感性、关键字）和解析方法（如解析器生成器、递归下降法）。
- 最终选择递归下降解析策略，因其简单性且易于实现错误处理和完整保真解析。
- 解析器使用`rowan`库构建具体语法树(CST)，该结构保留全部源代码细节以支持错误恢复和IDE功能。
- 词法分析作为前置步骤引入，使用`logos`库高效识别标记。
- 语法规则涵盖标识符、整型、函数、应用和let表达式，各类元素均有具体定义。
- 着重强调错误处理策略，包括错误恢复（跳过错误继续解析）和完整保真（在CST中保留所有源代码文本）。
- 详细实现了原子项、函数应用、let表达式及整体程序结构的解析函数。
- 最终的`parse`函数整合所有组件，同时返回CST和解析错误集合。