Что такое «пересмотренный синтаксис» в OCaml?

Question

Когда люди ссылаются на «пересмотренный синтаксис» в OCaml, они подразумевают, что это станет новым синтаксисом для языка, или это просто альтернативный синтаксис, созданный в CamlP4? Если это первое, то когда «пересмотренный синтаксис» станет «официальным синтаксисом» OCaml?

Answer 1

Пересмотренный синтаксис является просто альтернативой оригинальному , который реализован в Camlp4 / 5 (также есть синтаксис Lisp , написанный в Camlp5). Некоторые люди предпочитают это, но я бы не рекомендовал вам использовать его, так как это только сделает ваш код более запутанным для других программистов OCaml. Единственное место, где полезно знать пересмотренный синтаксис, - это когда вы пишете расширения Camlp4 / 5 - пересмотренный синтаксис используется для шаблонов и перезаписей, возможно потому, что он несколько более согласован, чем оригинал.

Насколько мне известно, не планируется заменять оригинальный синтаксис OCaml пересмотренным синтаксисом.

Answer 2

Это просто альтернативный конкретный синтаксис. Я думаю, что это просто демонстрация того, насколько мощным является camlP4, своего рода подтверждение концепции.