一个好的ocaml解析器？

Question

我正在寻找一个好的ocaml解析库，它不是flex / bison的衍生物。理想情况下，我想要一个沿着parsec行的monadic组合库，但我找不到任何东西。

我会使用haskell，但为haskell制作llvm绑定比我原先想象的更加烦人。

干杯，

杜安

Answer 1

Here's one library，来自Google。 （这也引出了this和this，其中列出了几个相关的相关声明库。）

当我在ML中编写组合子解析器时，由于价值限制和急切的评估，使用起来相当麻烦，这迫使你逐步扩展你的语法规则。据说Ocaml对价值限制更加放松 - 也许你可以免除一些痛苦。

Answer 2

在OCaml世界中，stream-based parsers和Camlp4是接下来两种最常见的替代方案。两篇文章都在之前的OCaml Journal文章中进行了详细描述。

Monadic解析器组合在OCaml中相对较少，主要是因为有几个更高级别且效率更高的库。