Scala勉強会第53回 (EitherやScalazのValidationについて)

ねこはる @halcat0x15a

筋肉痛のせいで駅まで一苦労。

ねこはる @halcat0x15a

おまわりさんにガンとばされるなど。

ねこはる @halcat0x15a

今日はなかなか勉強になりました。 Validationは実際にさわってなかったから概要がわかってよかった。

ねこはる @halcat0x15a

しかしscalaでapplicativeやるとちょっと残念な感じだな。 カリー化したやつじゃないといけなし、結合の順序とかも。 forでいい気がしなくもない。

ねこはる @halcat0x15a

まーよくみてないのでもっと綺麗なやり方がありそうです。

Toshiyuki Takahashi @tototoshi

勉強になる

ねこはる @halcat0x15a

大学生になれば懇親会行ける余裕が出来ると信じてる。

ねこはる @halcat0x15a

ヽ(*ﾟдﾟ)ノｽｶﾗｰ

Kenji Yoshida @xuwei_k

家ついて、発表していた最中の8時過ぎからの100〜200件あるtweetを読む時間なう(´・ω・｀)

ねこはる @halcat0x15a

λｶ娘真面目に読まないと死ぬ。

Kenji Yoshida @xuwei_k

読み切れないというか、色々あとから見直したいので、とりあえずとゅぎゃろう(｀・ω・´) #rpscala

Toshiyuki Takahashi @tototoshi

scalazのValidation、Validationって名前がついてるんだからValidationのためのものなんだろうし、一般的なエラー処理を扱うものではないのでは？普通にエラー処理したいとこにValidationってのが出てきたら不思議なような。

Toshiyuki Takahashi @tototoshi

Eitherは2つのものを振り分け？るものでそういうそもそもな話をするとエラー処理よりも範囲が広いけど、ソースのコメントにも書いてある通り一般的にエラー処理に使われることが多いのだから普段のエラー処理にはこっちを使うのがお行儀としてはいいのでは。

kmizu @kmizu

@akihiro4chawon 任意の型A, B について、Union[A, B] と Union[B, A] が型として等しいような union typeの事を指しておられます？ #scalajp

@kaitenn_

自分も Validation <: Either でないのが少し気になってた。

akihiro @akihiro4chawon

@kmizu えっと、私の意図としては、A =:= Union[A] =:= Union[A, A] ... (後略) が成り立ち(型引数の重複は無視される)、かつ、おっしゃるとおり型引数の順序は問わないというつもりでした。いわば、with の双対をイメージしていました。

akihiro @akihiro4chawon

@kmizu で、cowith[A, B] なるものが作れたとすれば、仕様霊的には、var intOrStr: Int cowith String = _; intOrStr = 1; intOrStr = "foo"; みたいにできると。そんな感じです。