圏論はデザインパターン

セキュリティ&プログラミングキャンプのヒトコマ

圏論モナドの話をしていて、ふと気づいたら僕よりモナドに詳しい人がいるんだから積年の疑問をぶつけてみるべきだ!と思って「モナドデザインパターンだと思うんだ」と言ったら

@yugui 「代数的構造ってのはつまるところ具象を離れて全体的な構造の話をするということなので、代数的構造デザインパターン」なるほど。 RT @kinaba: 圏論デザインパターン

http://twitter.com/yugui/status/21110119157

という結論になった。とてもすっきりした。