These are chat archives for scalajp/functional

20th
Oct 2014
eugene yokota
@eed3si9n
Oct 20 2014 14:36
モナド熱にうかされてブログ記事書いてしまいました - http://eed3si9n.com/ja/monads-are-fractals
kenji yoshida
@xuwei-k
Oct 20 2014 14:59
"モナドは単なる自己関手の圏におけるモノイド対象だよ" を、意識させるために最初からMonoidを関係させて書いたのか、それとも書いてたら結果的にそうなったのか・・・
eugene yokota
@eed3si9n
Oct 20 2014 16:15
List で考えてるうちに Monad って Monoid じゃないか、と勘違いして、あやっぱり Monad は入れ子じゃないと、だけど型レベルでは確かにみたいな感じで自然とそうなりました。
Ryoichiro Oka
@ryo0ka
Oct 20 2014 20:18
あれ。Monad⊃Monoidだと思ってました
Ryoichiro Oka
@ryo0ka
Oct 20 2014 20:24
独習Scalazを読みなおす
Shingo Omura
@everpeace
Oct 20 2014 21:32

モナド熱にうかされてブログ記事書いてしまいました -

素晴らしいと思います。いつも本当にすばらしい記事を有難うございます。

あやっぱり Monad は入れ子じゃないと、だけど型レベルでは確かにみたいな感じで自然とそうなりました。

FreeモナドとFreeモノイドとの対比がされてないのはなぜかなと思ったのですが、この「入れ子じゃないと」というところで、単なるfree monoidとは構造が違うから、というところでしょうか?