parserのリファクタ

[YuukiToriyama]

概要

• Typestateパターンで書いている箇所をループを使ってもう少しスマートな形に書き換える
• PhantomTypeとしてstructを使用しているため、match式が使えないが、enumを使用するようにしたらmatch式&loopで上手く書けないか

その他

-

[YuukiToriyama]

PhantomDataを用いる場合、実行時には型情報が消えてしまっているため、match式でパターンマッチングができない

[YuukiToriyama]

PhantomDataを使わないでもTypeStateパターンは実現できるが、match式で動的に処理を切り替えるのは難しい