メイヤー先生や、先生の「Command-Query分離の原則」については、何度も何度も話題にしてます。 「メイヤー」を含む記事一覧 最近（2012年）は、「Command-Query分離の原則」の代数的／圏論的な定式化をして、それに勝手に「メイヤー代数」だの「メイヤーオ…