Either と Validation と Scalaz

ねこはる @halcat0x15a

ioのエラーをValidationで持っていいものか。

ねこはる @halcat0x15a

そもそもValidationを使うべきか否か・・・・

Toshiyuki Takahashi @tototoshi

@halcat0x15a Eitherじゃだめ？

Toshiyuki Takahashi @tototoshi

EitherとOptionが一緒に使うときってどうするのが良いんだろう。toRightとかtoOptionとか使うのなんかなあって気分

病気の美少女 @lyrical_logical

そういえば scalaz.Iteratee の fold て Either にもあるし、そんな変でもないか

ねこはる @halcat0x15a

@tototoshi 通信エラーなんかをValidationで持つって違和感を感じません？ EitherはEitherでもにょもにょします・・・・

ねこはる @halcat0x15a

Validationはパースエラー、バリデーションエラーしか持てないような洗脳されてる。

ねこはる @halcat0x15a

ここでIOモナドが・・・

ねこはる @halcat0x15a

多分ユーザー的に嬉しくない。

ねこはる @halcat0x15a

@tototoshi Scalaz7にはEitherT, OptionTというのがありまして・・・・

Toshiyuki Takahashi @tototoshi

@halcat0x15a !

Toshiyuki Takahashi @tototoshi

http://t.co/qPk3hvAo こいつかあ

ねこはる @halcat0x15a

はすけるを参考にしてみよう。

Toshiyuki Takahashi @tototoshi

http://t.co/3O43kiSq なんだこれ

病気の美少女 @lyrical_logical

@halcat0x15a @tototoshi Validation で持っていいと思うのですが。

ねこはる @halcat0x15a

どこにもないと思ったらscalaz7ブランチか。

病気の美少女 @lyrical_logical

ハスケルの Either は right を成功 left を失敗として扱えるようなモナドのインスタンスがあるけどスカラは単なる sum type だし、エラーを扱うなら迷わず Validation でいい気がする

Toshiyuki Takahashi @tototoshi

scalazのeitherもなんかあれだしね...なんかあれってなにがあれだったか忘れたけど

病気の美少女 @lyrical_logical

@halcat0x15a ボクの中ではスカラの Either とハスケルの Either は対応してなくて、してるのは Validation なので名前違うけどまあエラーを伴うコンテキストを表現したいなら Validation でいいじゃん的な

ねこはる @halcat0x15a

とりあえずValidationで書いてみようかな。

病気の美少女 @lyrical_logical

ハスケルの Either とスカラの Either 実はべつものっていうのボクも最近まで知らなかったけどなんてことしやがる感ある。まあハスケル知らなければそんな気持ちにならなかっただろうしハスケル使ってた人間が悪い

病気の美少女 @lyrical_logical

うわ、scalaz さん master に Validation のモナド変換子ないじゃん。

病気の美少女 @lyrical_logical

scalaz7 にはあるみたいなので良かったですね（使わないけど）

Toshiyuki Takahashi @tototoshi

scalazのValidationのとこのコメントに、エラーをaccumulateしないならEither使えば？的なこと書いてあるなあ。 https://t.co/4y1jXtNi

Kenji Yoshida @xuwei_k

@lyrical_logical @halcat0x15a @tototoshi あーでもそれって、Scalaz使うと、Eitherが「right を成功 left を失敗として扱えるようなモナドのインスタンス」になってるという、とてもややこしいことになっていたような