のOCaml - ファイルやOCamlではファイルから内容を読み取る方法

Question

を解析？具体的にどのようにそれらを解析するのですか？

例：

と仮定ファイルが(a,b,c);(b,c,d)| (a,b,c,d);(b,c,d,e)|

が含まれていますが、その後、これを読んだ後、私は2つのl1 = [(a,b,c);(b,c,d)]を含むリストとl2 = [(a,b,c,d);(b,c,d,e)]

は、構文解析のために何か良いチュートリアルがありますしたいですか？

Answer 1

文法を指定してocamlでレクサーとパーサーを生成する場合は、ocamllexとocamlyaccチュートリアルを参照してください。このようにすることをお勧めします。あなたが本当にあなただけのファイル形式でトークンのいずれかのタイプを持っている場合は、単に文法によって有効と考えられているトークンにファイルを分割するレクサーを使用することができれば、その後、ocamlyaccはやり過ぎかもしれません。

Answer 2

これはmenhirパーサジェネレータ（ocamlyacc後継）のための良好なユースケースです。レキシングにはocamllexを使用します。すべては良い文書を持っています。

また、camlp4またはcamlp5ストリーム解析機能を使用することもできます。

また、lexing & parsingのウィキペディアのページも参照してください。

Answer 3

私はAurochsのようなもののためのPEGパーサーを使用する傾向があります。レポにはサンプルコードがあります。