一个好的ocaml解析器？

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

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

干杯,

杜安

这是一个通过谷歌的图书馆.(这也提到了这个和它,它列出了几个更相关的声音库.)

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