These are chat archives for scalajp/functional

20th
Aug 2015
eugene yokota
@eed3si9n
Aug 20 2015 02:53
放置プレイ気味だった猫の pull req に吉田さんのお陰で +1 がついている - non/cats#388
kenji yoshida
@xuwei-k
Aug 20 2015 03:01
個人的にはどちらかといえばTuple2使うのではなく新しいデータ型作ったほうがええやろ、とも思うし、でもたぶんあれshapelessと組み合わせて2ではなく任意のn個のproduct作れるようにする?みたいな話も少し出てるし(そういうの消えてしまったscalazのtypelevelモジュールで昔やってたはず?)そういう場合Prodも残すのか否か、まだ議論続きそうかな―と思いつつ、まぁすごく頻繁に使うものでもないしscalazのやつはそのまま(Tuple2のまま)でもいいか、みたいな心境
eugene yokota
@eed3si9n
Aug 20 2015 03:02
その話にまんまとはめられて typelevel module ごと撃沈された思い出
HList 系は鬼門
kenji yoshida
@xuwei-k
Aug 20 2015 03:23
Tuple2使うかProd使うかを議論してくれてもよかったのに、あっさり閉じられてしまった。まぁいいか
eugene yokota
@eed3si9n
Aug 20 2015 20:58
Tuple2 だと AB に何でも入れれるけど、ProdF[A]G[A] という縛りがあるこれ専用のデータ型だから、意味的に Tuple2 にオーバーロードしないで済む(Tuple2 に関して別の意味で函手を定義することを妨げない)。実際役立つか分からないけど、Prod の方は def first になってるから、firstsecond を遅延評価するか正格評価するか選べる。