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

Foi útil?

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.

Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow
scroll top