¿Un buen analizador ocaml? [cerrado]

Question

Estoy buscando una buena biblioteca de análisis ocaml que no sea un derivado de flex / bison. Idealmente, me gustaría una biblioteca de combinador monádico en la línea de parsec, pero no puedo encontrar nada.

Usaría haskell, pero hacer enlaces llvm para haskell está resultando más cansador de lo que pensé originalmente.

Saludos,

Duane

Answer 1

Aquí hay una biblioteca , a través de Google. (Lo que también mostró this y this , que enumera varias bibliotecas que suenan más relevantes).

Cuando escribí un analizador combinador en ML, resultó bastante complicado de usar debido a la restricción de valor y la evaluación entusiasta, lo que te obligó a expandir tus reglas gramaticales. Sin embargo, se dice que Ocaml está más relajado con respecto a la restricción de valor, tal vez se librará de ese dolor.

Answer 2

En el mundo OCaml, analizadores basados ??en flujo y Camlp4 son las siguientes dos alternativas más comunes. Ambos se han descrito en detalle en artículos de OCaml Journal anteriores.

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