Parsecでparserの自動生成
型視点での上の手順
後述する「手順」を型と関数で簡潔に示す
code:型視点
GenLanguageDef -- 記号、予約後などの設定
↓ makeTokenParser
GenTokenParser -- Tokenレベルのpaser
↓ buildExpressionParser
-- 式レベルのparser
手順
予約語や記号を定義
lexerを生成
Tokenレベルのparserの完成
感覚としてはlexerに近い
式レベルのパーサーを作っていく
文レベルのパーサーを作っていく
再帰下降なものを作る
例
C言語を拡張しているもの
昔書いたやつ
これ見るのが一番早い