Pisanie parser dla DSL w SML użyciu PPX i wewnętrzny punkt

Question

Niedawno ogłoszono w OCaml oficjalnej github że Camlp4 zastępuje ppx rewriters and extension points (https://github.com/ocaml/camlp4):

Camlp4 była częścią oficjalnej dystrybucji OCaml aż jego wersja 4.01.0. Od tego czasu został zastąpiony przez prostszy system, który jest łatwiejszy w utrzymaniu i nauczeniu się: programy do przepisywania i punkty rozszerzenia ppx.

Używałem Camlp4 do pisania parserów dla DSL (oddzielna składnia z OCaml).

Chciałbym zapytać, czy narzędzie ppx rewriters może zrobić to samo?

Dziękuję za poświęcenie czasu na przeczytanie mojego pytania!

Answer 1

Nie. PPX specjalizuje się w rozszerzaniu funkcjonalności językowej OCaml zachowując jej składnię, ewentualnie używając atrybutów i punktów rozszerzeń. Nie udostępnia generatora analizatora składni, takiego jak CamlP4. Jeśli budujesz składnię zupełnie inną niż OCaml, po prostu trzymaj się P4. PPX nie pomaga.

CamlP4 nie jest wycofywany. Stało się niezależnym narzędziem kompilatora OCaml: https://github.com/ocaml/camlp4 Powinieneś być również w stanie zainstalować go za pomocą opam install camlp4.