OCaml中的“修订语法”是什么？

Question

当人们在OCaml中引用“修订语法”时，它们是否意味着这将成为该语言的新语法，还是仅仅是在CamlP4中创建的替代语法？如果它是前者，那么“修订后的语法”何时成为OCaml的“官方语法”？

Answer 1

修订后的语法只是一个alternative to the original，它是在Camlp4 / 5中实现的（还有一个Lisp syntax用Camlp5编写）。有些人更喜欢它，但我不鼓励你使用它，因为它只会使你的代码更容易让其他OCaml程序员感到困惑。知道修改后的语法很有价值的地方就是当你编写Camlp4 / 5扩展时 - 修改后的语法用于模式和重写，可能是因为它比原始语法更加一致。

据我所知，没有计划用修改后的语法替换原来的OCaml语法。

Answer 2

这只是一种替代的具体语法。我认为这只是为了展示camlP4的强大功能，这是一种概念验证。