「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」 有名な煽りだけども、言葉だけが独り歩きしてる気がする。これ、真剣に悩むようなものではない。だってただのジョークだもの。この言葉の出典は、『不完全にしておよそ正しくないプ…

モナドを使うのに圏論の知識なんて不要だし、モナド則なんか意識する必要はない、というのはその通りだと思う。ぼく自身、圏論にはあまり興味は無いし深入りする気はないのだが、Haskellの珍妙な演算子と珍妙な関数名と謎のエラーメッセージを理解してコンパ…