Parsec のこころ

専門性・売上・原稿 @golden_lucky

parsecでもByteStringを読むことはできるけれど、Parser ByteStringみたいなのが欲しかったらattoparsecを使うしかない、という理解でいいのかな。

山本和彦 @kazu_yamamoto

.@golden_lucky 効率を気にしないなら、Parsec の内部で String を pack して ByteString を返せばいいだけです。

専門性・売上・原稿 @golden_lucky

@kazu_yamamoto ありがとうございます。テキストでないデータをパースしたい場合、bytestring+attoparsecなんでしょうか？

山本和彦 @kazu_yamamoto

.@golden_lucky Parsec は、入力として String、ByteString、Text が取れます。 http://t.co/LGs1xodnLZ

山本和彦 @kazu_yamamoto

.@golden_lucky 基本的に上位の型が Parsec ByteString になるのはおかしいです。自分で定義したデータ型になるはずです。

山本和彦 @kazu_yamamoto

.@golden_lucky 自分が定義した型に対して、ByteString から変換するのがパーサー。ByteString へ変換するのがプリティプリンタ(ビルダー)です。

山本和彦 @kazu_yamamoto

.@golden_lucky ビルダーには BlazeBuilder がよく使われています。最新の ByteString には、自前の Builder も提供されています。

山本和彦 @kazu_yamamoto

型が豊かでない言語を使うと整数や文字列を乱用してしまいがちです。型が豊かな言語では、まず自分の理想の型を定義することからプログラミングを始めましょう。

専門性・売上・原稿 @golden_lucky

@kazu_yamamoto なるほど！あらためて考えると、Parser ByteStringが必要だと思ったのが勘違いでした。Attoparsecは効率を気にする場合にだけ手を出せばいいんですね。

専門性・売上・原稿 @golden_lucky

どのみち入力はバイト単位で消費するしかないし、それをどういう単位でまとめるかは別の話だった

山本和彦 @kazu_yamamoto

.@golden_lucky Parsec はエラー処理が充実しているが遅い、attoparsec は速いがエラー処理は充実していない。サーバーでのパース処理に組み込むなら attoparsec ですが、一回しかパースしない設定ファイルの処理には Parsec を使います。