parsing - ¿Un buen analizador de ocaml?

parsec

Question

Estoy buscando una buena biblioteca de análisis ocaml que no sea derivada de flex / bison. Idealmente, me gustaría una biblioteca de combinador monádico a lo largo de las líneas de parsec, pero no puedo encontrar nada.

Usaría haskell, pero hacer bindings de llvm para Haskell es más agotador de lo que pensé originalmente.

Aclamaciones,

Duane

Answer 1

En el mundo de OCaml, los analizadores sintácticos basados ​​en secuencias y Camlp4 son las siguientes dos alternativas más comunes. Ambos han sido descritos en detalle en artículos anteriores de OCaml Journal .

Los combinadores de analizadores monádicos son comparativamente raros en OCaml, en gran parte porque hay varias bibliotecas de alto nivel y mucho más eficientes disponibles.

Answer 2

Aquí hay una biblioteca , a través de Google. (Que también trajo esto y esto , que enumera varias bibliotecas que suenan más relevantes).

Cuando escribí un analizador combinador en ML, resultó bastante engorroso de usar debido a la restricción de valor y la evaluación entusiasta, lo que lo forzó a ampliar sus reglas gramaticales. Sin embargo, se dice que Ocaml está más relajado con respecto a la restricción del valor: tal vez te ahorres algo de ese dolor.