良いocamlパーサーですか？ [閉まっている]

Question

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

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

乾杯、

デュアン

Answer 1

Google経由の1つのライブラリ。 （ this および this 。これには、より関連性の高いいくつかのライブラリがリストされています。）

コンビネーターパーサーをMLで記述したとき、値の制限と熱心な評価のために使用するのがかなり面倒で、文法規則をイータ拡張する必要がありました。 Ocamlは値の制限についてはもっとリラックスしていると言われていますが、多分あなたはその痛みのいくらかを免れるでしょう。

Answer 2

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

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