Listのtraverseの実装がscalazより猫のほうが優れている件

がくぞ @gakuzzzz

scalaz.Traverse#traverse で F=List, G=Option の時に、途中でNoneを返す要素があっても全ての要素にfが適用されてしまう。 cats の Traverse だとNoneになる要素以降のfは評価されない。ぐぬぬ

Kenji Yoshida @xuwei_k

@gakuzzzz お、pull reqくれるんですね(?)

がくぞ @gakuzzzz

@xuwei_k scalaz.Need が cats.Eval に相当するものって認識であってます？ 別もの？

Kenji Yoshida @xuwei_k

@gakuzzzz Evalのほうがおそらく高機能

がくぞ @gakuzzzz

@xuwei_k ふむむむ、差が存在するんですね。単純に Need 導入するだけじゃダメっぽい予感

Kenji Yoshida @xuwei_k

@gakuzzzz あとこんな違いもあります(今試したらcatsは逆順じゃないっぽい) github.com/scalaz/scalaz/…

がくぞ @gakuzzzz

@xuwei_k あ、そうそう、それも気になってました。close されてるんですね...

Kenji Yoshida @xuwei_k

@gakuzzzz 実装全然ちがいますね・・・ github.com/scalaz/scalaz/… github.com/typelevel/cats… これしかもちゃんとstack溢れないのか・・・

がくぞ @gakuzzzz

@xuwei_k そうなんですよね。 foldLeft は B 返すのに foldRight は Eval[B] 返すのがちょっと面白い。けどいいのかコレ？という気も

がくぞ @gakuzzzz

Haskell の traverse は catsと同じ挙動っぽい

Kenji Yoshida @xuwei_k

@gakuzzzz scalazのListのtraverse、この変更 github.com/scalaz/scalaz/… とかの影響で、List => DList => IList にしてfoldRight呼ぶ、みたいな超無駄なことしてる気がしてきました、つらい・・・

がくぞ @gakuzzzz

@xuwei_k oh 内部では直接 List の連結してなかったんですね。

がくぞ @gakuzzzz

foldRight に side-effect 仕込んでも left側から実行されるの黒魔術めいてスゴイ

Kenji Yoshida @xuwei_k

@gakuzzzz 猫をパクったら github.com/xuwei-k/scalaz… 見事にNoneあったら評価止まるようになったけど、見事にスタック溢れるので、Eval素晴らしい(?)みたいな結論になりました・・・

Kenji Yoshida @xuwei_k

@gakuzzzz (自分が言い出すのなんか気まずいので黙ってたけど)この例とか出して「scalazにcatsのEvalみたいなやつ入れようぜ！」って真面目にissue立ててくれていいですよ・・・ (もしくは他の方法でListのtraverse改善pull reqを)

がくぞ @gakuzzzz

@xuwei_k うお Eval と Need の決定的な差が……

Kenji Yoshida @xuwei_k

@gakuzzzz まぁ即興でやったので、移植間違ってないか、本当にNeedとEvalの差が原因なのか？というの、今一度確かめたほうがいい気はしますが

がくぞ @gakuzzzz

世界のKenjiの威を借りてPull Requestするマン

がくぞ @gakuzzzz

ぷるリクエストじゃなかったIssue立てただけだった

Kenji Yoshida @xuwei_k

github.com/xuwei-k/scalaz… Needの代わりにTrampoline使えばいけるのでは、と思ってやってみたが敗北したので、ますます辛い

Kenji Yoshida @xuwei_k

@gakuzzzz なんか進捗ありました github.com/scalaz/scalaz/…

がくぞ @gakuzzzz

@xuwei_k おお！ Apply.ap2Eval を抽象化して盛り込むのクールですね

Kenji Yoshida @xuwei_k

@gakuzzzz 一瞬、それぞれのインスタンスでoverrideしないといけないの面倒だなーと思ったけど、これ結局catsでもOptionのmap2Evalがoverrideされてないとあの動作になってない、ということなんですかね？(ちゃんと確かめてない)

がくぞ @gakuzzzz

@xuwei_k cats も 短絡になるように override してるっぽい感じですね。 github.com/typelevel/cats…