Хороший парсер ocaml? [закрытый]
Я ищу хорошую библиотеку синтаксического анализа ocaml, которая не является производной от flex / bison. В идеале я хотел бы иметь библиотеку монадических комбинаторов по линии parsec, но я ничего не могу найти.
Я бы использовал haskell, но создание Привязок llvm для haskell оказывается более утомительным, чем я изначально думал.
спасибо,
Дуэйн
2 ответов
вот одна библиотека, через Google. (Который также поднял этой и этой, в котором перечислены несколько более релевантных библиотек.)
когда я написал комбинаторный парсер в ML, он оказался довольно громоздким в использовании из-за ограничения значения и нетерпеливой оценки, что заставило вас eta-расширить свои правила грамматики. Говорят, что Ocaml более расслаблен в отношении ограничения стоимости , хотя-может быть, вы будете избавлены от этого боль.
в мире OCaml,Парсеры на основе потока и Camlp4 следующие две наиболее распространенные альтернативы. Оба были подробно описаны в предыдущем Журнал OCaml статьи.
монадические комбинаторы парсера сравнительно редки в OCaml, в основном потому, что есть несколько более высоких уровней и значительно более эффективных библиотек.