These are chat archives for scalajp/functional

2nd
Feb 2015
Shingo Omura
@everpeace
Feb 02 2015 07:23
FがMonadで、GがMonadかつTraverseなとき、FGはモナドになるのだろうか?(GがMonadかつTraverseなとき、G.sequenceがdistributive lawになれるのかということ。)
cats に composite monadを追加してみたんですが、上記の確信がない^^;。。。 https://github.com/everpeace/cats/compare/topic/composite-monad
http://typeclassopedia.bitbucket.org/#slide-131
ここ見ると、"we can get a composed monad for "free""とか書いてありますけどホントかな?的な。。。
kenji yoshida
@xuwei-k
Feb 02 2015 08:18
なると思いますけど、それをScalaでやって使いやすいかどうかは別問題ですね
同じ議論が過去に scalaz/scalaz#639
Shingo Omura
@everpeace
Feb 02 2015 16:08
やはり。。。ありがとうございます。