Um analisador boa ocaml? [fechadas]
Pergunta
Eu estou procurando uma biblioteca de análise bom ocaml que não é um derivado de flex / bison. Idealmente, eu gostaria de uma biblioteca combinator monádico ao longo das linhas de parsec, mas eu não consigo encontrar nada.
Gostaria de usar Haskell, mas fazer ligações LLVM para Haskell está provando mais cansativo do que eu pensava.
Cheers,
Duane
Solução
Aqui está um biblioteca, via Google. (Que também trouxe este e este , que lista várias bibliotecas mais relevantes-som.)
Quando eu escrevi um analisador combinator no ML, descobriu-se bastante complicada para uso por causa da restrição de valor e avaliação ansiosa, o que você forçados a eta-expandir suas regras gramaticais. Ocaml é dito ser mais relaxado sobre a restrição de valor, embora -. Talvez você vai ser poupado alguns dos que a dor
Outras dicas
No mundo OCaml, analisadores baseadas em fluxo e camlp4 são os próximos duas alternativas mais comuns. Ambos têm sido descrito em detalhe em artigos anteriores OCaml Jornal .
monádicas combinadores analisador são comparativamente raros em OCaml, em grande parte porque há vários de nível superior e bibliotecas muito mais eficientes disponíveis.