asp：代数，分步解析 asp是类型化的代数解析器组合器库，具有一些不同寻常的功能： asp解析器之前，将使用内部类型系统对其进行检查，以确保它们描述的语法是明确的并且没有左递归。 这些约束条件确保了可以在线性时间内解析输入而无需回溯，并且具有单个前瞻标记。 asp使用多阶段编程来获得比大多数组合器库更高的性能。 可以在运行时将使用asp构造的解析器编译为有效的代码，该代码通常优于使用标准OCaml解析器生成器ocamlyacc编写的解析器 以下论文有更多详细信息： 一种类型化的代数解析