2010-08-14 圏論はデザインパターン セキュリティ&プログラミングキャンプのヒトコマ圏論とモナドの話をしていて、ふと気づいたら僕よりモナドに詳しい人がいるんだから積年の疑問をぶつけてみるべきだ!と思って「モナドはデザインパターンだと思うんだ」と言ったら @yugui 「代数的構造ってのはつまるところ具象を離れて全体的な構造の話をするということなので、代数的構造はデザインパターン」なるほど。 RT @kinaba: 圏論はデザインパターン。 http://twitter.com/yugui/status/21110119157という結論になった。とてもすっきりした。