Когда люди обращаются к "пересмотренному синтаксису" в OCaml, они означают, что это станет новым синтаксисом для языка, или это - просто альтернативный синтаксис, созданный в CamlP4? Если это - первый, то, когда делает "пересмотренный синтаксис", становятся "официальным синтаксисом" OCaml?
Пересмотренный синтаксис - это просто альтернатива исходному , реализованному в Camlp4 / 5 (есть также синтаксис Lisp , написанный на Camlp5). Некоторые люди предпочитают его, но я бы отговорил вас от его использования, так как он только усложнит ваш код для других программистов OCaml. Одно место, где полезно знать пересмотренный синтаксис, - это когда вы пишете расширения Camlp4 / 5 - измененный синтаксис используется для шаблонов и перезаписей, вероятно, потому, что он несколько более согласован, чем оригинал.
Насколько мне известно, нет планов по замене исходного синтаксиса OCaml на измененный синтаксис.
Это просто альтернативный конкретный синтаксис. Я думаю, это просто чтобы продемонстрировать, насколько мощен camlP4, своего рода доказательство концепции.