パーサコンビネータ

要は、入力トークンリストから、解析結果のツリーと、あまったトークンリストと、成功失敗、を返すパーサを作ると。で、そのパーサ同士を直列、並列につないでより大きなパーサが作れるってことなのかなぁ?

(解析結果ツリー, あまったトークンリスト, 成功?) = パーサコンビネータ(入力トークンリスト)

ああ、あたまわりーんだなぁ。まだ、わからん。