使用ppx和扩展点为OCaml中的DSL编写解析器

Question

最近，OCaml官方github宣布Camlp4被ppx rewriters and extension points (https://github.com/ocaml/camlp4)取代：

Camlp4在4.01.0版之前一直是官方OCaml发行版的一部分。从那时起，它被一个更简单的系统所取代，它更易于维护和学习: ppx重写器和扩展点。

我一直在使用Camlp4为DSL编写解析器(语法与OCaml分离)。

那么，我想问一下，ppx rewriters工具是否可以做同样的事情？

谢谢你抽出时间阅读我的问题！

Answer 1

不是的。PPX专门用于扩展OCaml语言的功能，保持语法，可能使用属性和扩展点。它不提供像CamlP4这样的解析器生成器。如果您构建的语法与OCaml完全不同，那么只需坚持使用P4即可。PPX帮不了你。

CamlP4没有停止。它成为OCaml编译器的一个独立工具：https://github.com/ocaml/camlp4 --您还应该能够使用opam install camlp4安装它。