先ほど、はてなのカウンターを見たら トータルアクセス数レポート トータルアクセス数 999,947 トータルユニークアクセス数 736,292 となっていた。あと50PVほどで百万だ。昼ご飯の後には百万超えているだろう。[追記]超えました。皆様のアクセスに御礼申し…

直積スタンピング関手（掛け算関手）は簡単な関手ですが、驚くほど役に立ちます。コモノイド／モノイドをスタンピングする関手は、それぞれコモナド／モナドを定義します。コモナド／モナドは互いに双対です。その実例として「参照と更新の双対性」がありま…