- yoshihiro503
- 7687
- 0
- 4
- 2
ブログ書いてみた。Now Browsing: 圏論とかモナドなんて簡単だからscalaを使って説明してみた - だらだらしてたいなぁ - http://t.co/ocZkfPKmTt
2013-03-31 19:16:40"圏論とかモナドなんて簡単だからscalaを使って説明してみた"を検証してみた http://t.co/sjsk6kx6a2
2013-04-04 21:43:41http://t.co/9DyAEgdp7P "ここで定義されているCatはただの1本の射であって圏とは言い難い" "圏論とかモナドなんて不要だからscalaにおける要点だけ説明してみた」ってことあれば全く同意である"
2013-04-05 11:17:55圏論わかってない人が中途半端に一部間違った説明して 「いきなりモナドを理解しようとするから難しく思えるだけで、圏論から順序を追って理解していけば全然難しく無い」 とか言うの明らかに悪影響だと思うし、それに対して150を超えたブクマがつくのもなんなんだろうとか思う
2013-04-05 11:35:59ツッコミ有難うございます。対象が一個しかない空圏も存在するので、射が一個しかなくても圏で良いかなと思うんですがいかがでしょう? / “"圏論とかモナドなんて簡単だからscalaを使って説明してみた"を検証してみた - 北海道苫小牧…” http://t.co/BbS0E15zL9
2013-04-05 12:15:07圏論なんかわからんくてもプログラミングのモナドは使えるんや!ってことならホントその通りだと思ったし、そういうことを周知するのも敷居を下げるのにとてもいいことだと思う
2013-04-05 12:20:52これよく読んだら結論おかしいよね。 単にモナドの事をscalaを使って説明したいだけなのに、なぜか「圏論とかモナドなんて不要」をオススメされてる : "圏論とかモナドなんて簡単だからscalaを使って説明してみた"を検証してみた http://t.co/SwA0ZMwhND
2013-04-05 19:13:25これよく読んだら結論おかしいよね。 単にモナドの事をscalaを使って説明したいだけなのに、なぜか「圏論とかモナドなんて不要」をオススメされてる : "圏論とかモナドなんて簡単だからscalaを使って説明してみた"を検証してみた http://t.co/SwA0ZMwhND
2013-04-05 19:13:25プログラムカテゴリに限定すれば「圏論とかモナドなんて簡単」に異論がある人はいないんじゃないかな。 scalazのソースを見ればよく分かるし
2013-04-05 19:16:16プログラムカテゴリに限定すれば「圏論とかモナドなんて簡単」に異論がある人はいないんじゃないかな。 scalazのソースを見ればよく分かるし
2013-04-05 19:16:16trait Cat[arr[_, _]] { def id[A]: arr[A, A]; def comp[A, B, C]: arr[A, B] => arr[B, C] => arr[A, C] } こんなもんか。あとは幾つかの law 満たさないといけなかったはずだけど
2013-04-06 04:40:35圏もまた抽象的なものなので、その射を関数と決めてしまったものは、所謂 Hask 圏(scala だけどまあいいでしょ)から諸々を取りさった、黄色い本風にいうなら Hask メタグラフなのじゃ、というところか。黄色い本よりひまわりさんの方が価値あるけどな
2013-04-06 04:46:45というかメタグラフ→メタ圏は兎も角メタ圏→圏とか覚えてないな…任意の対象 A についてその対象を dom codom とする idA が必要とかが必要なんでしたっけ。こんなの scala じゃシグネチャとしてあらわせないよぉ~
2013-04-06 04:51:12