bouzuya/yzrh 。コマンドラインオプションの解釈部分をつくっている。 2018-11-22 の続き。

TODO リストとしては変化せず。 API の変更の途中。 RowToList について調べた。試しに書いたら Simple.JSON とほとんど同じ形になってしまった。 Simple.JSON はよくできている。 Record.Builder を素朴に使うと似たような形になってしまうのでは……。 ExceptT などが出てこないのでぼくのほうがすこし単純ではあるけれど。今日はもう時間がないので明日に改めて調べたことを書く。

あとは改めて見ると戻り値の Record を指定させるよりもオプション定義自体の型が取れれば結果の型も生成できるのだけど……。もっと言えば文字列で "-f, --file <FILE> file option" のようなものを SProxy で受け取れば……。とにかく明日だ。

そして繰り返しになるけれど本来の機能がまったく進んでいない。