parsing - 良いocamlパーサー？

Question

flex/bisonの派生物ではない優れたocaml解析ライブラリを探しています。理想的には、パーセクの線に沿ったモナディックコンビネータライブラリが欲しいのですが、何も見つかりません。

私はhaskellを使用しますが、haskellのllvmバインディングを作成することは、私が当初考えていたよりも面倒です。

乾杯、

デュアン

Answer 1

これは、Google経由の1つのライブラリです。(また、 thisとthisも持ち出しました。これには、より関連性の高いサウンドのライブラリがいくつかリストされています。)

ML でコンビネーター パーサーを作成したとき、値の制限と熱心な評価のために使用するのがかなり面倒であることがわかりました。ただし、Ocaml は値の制限についてはより緩和されていると言われています。

Answer 2

OCaml の世界では、ストリームベースのパーサーとCamlp4が次の 2 つの最も一般的な代替手段です。両方とも、以前のOCaml Journal記事で詳細に説明されています。

OCaml ではモナド パーサー コンビネータは比較的まれです。これは主に、いくつかの高レベルではるかに効率的なライブラリが利用できるためです。