These are chat archives for scalajp/functional

12th
Aug 2015
Tsukasa Kitachi
@kxbmap
Aug 12 2015 05:00
NonEmptyList[(Int, A)] を NonEmptyList[(Int, Id[A])] に変換するのにいい方法はなんだろう
Idだしキャストしたらいい?
kenji yoshida
@xuwei-k
Aug 12 2015 06:17
キャストでいいんじゃないですかね。そもそもId型が明示的に必要になるの、なにかおかしい気もするけど
そういえば、7.2のNelにこれ https://github.com/scalaz/scalaz/blob/v7.2.0-M2/core/src/main/scala/scalaz/IList.scala#L462-L465 ないな。後で足すか
Tsukasa Kitachi
@kxbmap
Aug 12 2015 08:51

そもそもId型が明示的に必要になるの、なにかおかしい気もするけど

でした。いや、型引数に指定は要ったけどキャストする必要はなかった

kenji yoshida
@xuwei-k
Aug 12 2015 11:43
なるほどー。 Comonad での共通化、 Comonad の正しい使い方なのか?とかんがえると少し微妙な気がしなくもないけど、他に思いつかないし、privateなメソッドだし、これでいいか https://github.com/scalaprops/scalaprops/pull/16/files
Tsukasa Kitachi
@kxbmap
Aug 12 2015 16:24
引数に NonEmptyList[(Int, B)] と B => Gen[A] を取るというのも考えたけど、そういえばComonadというのがあったなと思って
kenji yoshida
@xuwei-k
Aug 12 2015 17:39
scalaz/scalaz-stream#427 "scalaz-core_2.12.0-M1" % "7.0.8" をリリースしましょうか?って言いにいくべきか悩む事案。でもすでに 0.7.3 publishされてるな・・・つまりどうしたいんだろ?