Performant Staged Parser Combinators

最初的工作将集中在开发一个解析器组合器库：一种用嵌入式领域特定语言构建解析器的方法，理想情况下是用函数式编程语言构建。这项工作将建立在我之前在该领域发表的工作[1]的基础上，该工作的重点是将组合子编译为有效的机器表示。我计划将这台机器形式化，并利用有原则的元编程和编译器技术来提高性能，并使语法分析和优化成为可能，这是解析器组合器以前从未见过的特性。

work will initially focus on developing a parser combinator library: a way of constructing parsersas an embedded domain-specific language, ideally built in a functional programming language. Thiswork will build on my previously published work in this field [1], which focused on compiling combinators to an efficient machine representation. I plan to formalise this machine and make use of principled meta-programming and compiler techniques to improve performance and enable the analysis andoptimisations of grammars, a feature not seen before in parser combinators.