-ppx语法扩展的OCaml状态是什么？

Question

Alain，一年多前，作为camlp4的替代品，利用-ppx标志编写sytnax扩展在OCaml 4.00中添加了一个建议。当时他提到还有一些工作要做(属性、报价等)。但它已经可以用了。OCaml 4.01是否改进了对这种编写语法扩展的支持？现在是否有人使用这种机制而不是camlp4，或者camlp4仍然是为OCaml编写语法扩展的推荐方式？

Answer 1

“(属性、引文等)”的著作已由Alain以OCaml编译器源的一个分支的形式完成，名为extension。这一分支的进展在公共wg-camlp4 4邮件列表中得到了广泛的讨论，但没有在4.01中集成。自从4.01版本发布以来，它已经集成到主干(编译器的参考开发分支)中，所以它应该可以用于4.02 (请注意，主要版本通常每年都会发布)。

Alain为points.txt中的扩展点维护一种文档形式。它显然没有涵盖Camlp4的所有用例，但仍然有很大一部分。您是否愿意使用这是一个个人的决定；承诺是，稍微尴尬的语法为您提供了更容易的部署和与工具和其他扩展的互操作性。

从4.00或4.01开始，-ppx并不适合于语法扩展，您只能处理(也可能是过滤/转换)语法上有效的OCaml代码。从技术上讲，可以颠覆现有的OCaml语法来添加新的含义，但我建议不要这样做。如果要将其用于语法扩展，则应该等待4.02。