Conduitの話と例外処理の話 20120629

Hideyuki Tanaka @tanakh

http://t.co/ksofu23O きたー

山本和彦 @kazu_yamamoto

Hackage の wai は conduit 0.5 に対応していないのか。。。テストできなくて残念。

山本和彦 @kazu_yamamoto

どなたか、conduit は iteratee より遅い疑惑を追ってないでしょうか？

Hideyuki Tanaka @tanakh

Conduitがバージョンアップのたびに早くなってるのはSnoymanさんがたまにベンチ載せてますけど、ライブラリ感では見た事無いですね RT @kazu_yamamoto どなたか、conduit は iteratee より遅い疑惑を追ってないでしょうか？

Hideyuki Tanaka @tanakh

多分当初は、文字列処理は4kブロックとかのリストにすれば十分だよね的発送だと思ってたのだろうけど、やはりちょっと扱いづらいし、普通の数のリストも扱いたいとかで、だんだんオーバーヘッド減らす方向に。実装見た感じだとEnumerateeはConduitと同じぐらいかなあ。

Hideyuki Tanaka @tanakh

Iterateeは多分Enumerateeより速いと思うんだけど今更使う気がしない。pipesとかは要調査。

山本和彦 @kazu_yamamoto

.@tanakh IO の中で IOException を投げるには、throwIO じゃなくて、throwError を使うべきなんですか？

山本和彦 @kazu_yamamoto

.@tanakh 純粋な関数で throwError と書くと、例外を投げているように見えて、ドキッとするんですが、どうなんでしょうか？ 直接 Left とか書く方がよくありませんか？ 型を Maybe に変えるみたいなときに便利なの？

Hideyuki Tanaka @tanakh

@kazu_yamamoto IOの中ならどっちでもいいと思います。

山本和彦 @kazu_yamamoto

抽象化するなら、その具体的なメリットが知りたいなぁ。← いつも Monad の説明でおろそかにされる重要な点

Hideyuki Tanaka @tanakh

@kazu_yamamoto 直接LeftよりはthrowErrorのほうがいいかなあと思います。Eitherを変換子版のErrorTに変えたくなった時とか、StateT s (ErrorT m) ... みたいなネストしているのを考えた時に便利です。

山本和彦 @kazu_yamamoto

.@tanakh あ、すいません。タイポしました。Conduit は (iteratee ではなく) enumerator ぐらい速いのかという質問です。昔より Mighty が遅いので、その原因を追っています。

Hideyuki Tanaka @tanakh

@kazu_yamamoto 僕は最初から型は決めないで、なるべくゆるい制約で(そういう場合だったら MonadError e m) で書いてしまいますね。

山本和彦 @kazu_yamamoto

.@tanakh 分かりました。僕にメリットが感じられないのは、Monad 変換子をあまり使わないからですね。

Hideyuki Tanaka @tanakh

@kazu_yamamoto うーん、ちょっとConduitも実装の変化とともに速度が毎回変わるのでどうでしょうか。conduit-0.4でyield/await使ったときはすこぶる性能が悪かったですが、conduit-0.5で改善されてるはずなので、再調査が必要ですね

山本和彦 @kazu_yamamoto

なるほど。@tanakh くんの型レベルでの設計は、その域まで達しているのですか。

Hideyuki Tanaka @tanakh

@kazu_yamamoto そうですね。MonadErrorの意味は、変換子によってリフトされたエラーも統一的に扱えるようにするためだったりしますので。

Hideyuki Tanaka @tanakh

多分、例外というのがgotoでぶっ飛ぶ的なイメージがもう僕にはないので、裏で制御フローいじって例外的動作ができる、MaybeとかEitherとかも例外と見ても違和感がなくなってるのかなあ。

Hideyuki Tanaka @tanakh

モナド変換子はなんとなくあんまりスジがいいとは思わないのだけども、みんなが頑張ってHackしたおかげで実際使えるものになってるので、使うといいんじゃあないかな。

山本和彦 @kazu_yamamoto

素人が見れば、@tanakh くんの「純粋関数は全域関数であるべき」という主張と、一見矛盾しているように感じられます。(単に throwError という関数名が悪いんですけど。)

SKS rep @repeatedly

例外処理，名前からして通常の処理を続けられない時にどうするか，というだけしか表してないのだけど，C++とかJavaとかの影響で例外といえばなんかオブジェクトが飛んでくる，というイメージがついているのは確か．

Hideyuki Tanaka @tanakh

プログラムにおける例外処理と、"the exception" の乖離かな。

Hideyuki Tanaka @tanakh

@kazu_yamamoto まあ名前ですね。throwErrorの型は、error::String->aのようにbotしか取れないようなファンキーな型じゃないですし。抽象化された上での動作はまあ一般的な意味での`throw`しているかのように見えるので、ちゃんと理解していれば…

Hideyuki Tanaka @tanakh

@kazu_yamamoto まあ名前ですね。throwErrorの型は、error::String->aのようにbotしか取れないようなファンキーな型じゃないですし。抽象化された上での動作はまあ一般的な意味での`throw`しているかのように見えるので、ちゃんと理解していれば…

Hideyuki Tanaka @tanakh

Stateモナドがpurelyな文脈でmutableな変数を実現してるのと同じ構図かなあ。MonadErrorがtotalな文脈でbotを扱えるかのように見えるのは。