file - Ocaml-ファイルと構文解析

Question

ocamlのファイルからコンテンツを読み取る方法は？具体的にはそれらを解析する方法は？

例 ：

ファイルに次のものが含まれているとします(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

これは、 menhirパーサージェネレーター（の後継）の良いユースケースですocamlyacc。字句解析に使用することをお勧めしますocamllex。すべてに優れたドキュメントがあります。

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

字句解析と構文解析に関するウィキペディアのページもお読みください。

Answer 2

私は、このようなものにPEGパーサーであるAurochsを使用する傾向があります。そこのリポジトリにサンプルコードがあります。

Answer 3

文法を指定し、ocamlにレクサーとパーサーを生成させる場合は、これらのocamllexとocamlyaccのチュートリアルを確認してください。このようにすることをお勧めします。ファイル形式に実際に1種類のトークンしかない場合、レクサーを使用してファイルを文法で有効と見なされるトークンに分割できると、ocamlyaccはやり過ぎになる可能性があります。