Megaparsecで状態を扱う - IT練習ノート

paserで状態を管理したい場合があります。

attoparsecでは、ライブラリ自体で、parser利用者側の状態を管理する仕組みがありません（間違っているかも）。なので、下記にあるとおり、StateTを使うことになります。

これでできるのですが、コンビネータにliftが必要になり煩雑です。stateTの内側にParserを置くことになるので、外側でコンビネータを使う場合、liftingが必要になるからです。

Megaparsecには、ライブラリ内に、状態を管理する仕組みが備わっています。サンプルは下記です。

Megaparsecの場合は、parserの内側にstateを置くことになります。外側でstateの関数を使う場合、ユーザはliftする必要はありません。

liftingはライブラリ側で行ってくれています。具体的には、ParsecTがMonadStateクラスのインスタンスになっているからです。ライブラリの該当箇所は下記です。

実行するときは、外側のparserをrunParserTで剥がしてから、runStateTを使う順になります。