要求開発アライアンスのセッション『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』で使用するスライドについて背景説明を行ってきました。 関数型言語の技術マップオブジェクト・モデリングのボトルネック代数的構造デザインパターン今回は背景説明第4弾で、「圏論デザインパターン」として用意した以下の図を説明します。 関数型言語の技術マップで説明したように、型クラスの導入によって代数的構造や圏論の理論をプログラミング言語で直接利用できるようになりました。 代数構造的デザインパターンは、基本中の基本概念であるので、モノイド以外のパターンもいずれ広く使われるようになることが予想されますが、今の所広く使われているのは圏論デザインパターンの方です。 代表的な圏論デザインパターンは以下のものです。 圏(category)対象と射(対象間の構造を保
![圏論デザインパターン](https://cdn-ak-scissors.b.st-hatena.com/image/square/d1fb42112a708db3b3e69a0e59fb2cdfbfa53118/height=288;version=1;width=512/https%3A%2F%2Fblogger.googleusercontent.com%2Fimg%2Fb%2FR29vZ2xl%2FAVvXsEj7MoRr-i1NVxAoYoR4c5KLeDrHGN7NRFVOl4Oww7Lc7yG2uvQPgBe2ySTdsYamE3IlFIsU59JeGBU6OK6puABH4AdeuAk0lhQnLgLSPte3P74o32kM_dOkWL1Y79dBsNdWu8QXYaBh_LM%2Fw1200-h630-p-k-no-nu%2FcategoryPatterns.png)