サクサク読めて、アプリ限定の機能も多数!
圏論的に言うと、自然変換が成り立たないってことかな。
qtamaki のブックマーク 2013/09/17 11:54
SetはFunctorではない - xuwei-k's blog圏論的に言うと、自然変換が成り立たないってことかな。2013/09/17 11:54
このブックマークにはスターがありません。 最初のスターをつけてみよう!
xuwei-k.hatenablog.com2013/09/16
SetがFunctorではない理由を延々と説明します。最初これ http://failex.blogspot.jp/2013/06/fake-theorems-for-free.html を訳そうとしましたが、英語力と理解力のなさにより断念し、中途半端な翻訳になるなら、...
13 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
圏論的に言うと、自然変換が成り立たないってことかな。
qtamaki のブックマーク 2013/09/17 11:54
このブックマークにはスターがありません。
最初のスターをつけてみよう!
SetはFunctorではない - xuwei-k's blog
xuwei-k.hatenablog.com2013/09/16
SetがFunctorではない理由を延々と説明します。最初これ http://failex.blogspot.jp/2013/06/fake-theorems-for-free.html を訳そうとしましたが、英語力と理解力のなさにより断念し、中途半端な翻訳になるなら、...
13 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /