「交替律と分合律」にて： ストレージIOを含む例外付き計算の一般化クライスリ圏が、イミュータブルな場合の自然な拡張として作れるはずです。作れたらいいな … 。 たぶん出来たような気がする。一番簡単な場合のクライスリ射は次のような感じ。A, B, E は集…

昨日の記事「交替律の色付き絵」にて： 最近、分合律だけではうまくいかない状況があったのですが、交替律（interchange law）は成立している模様でした。 A*B + C*D → (A # C)*(B + D) トランザクションと例外を混ぜた計算のとき、この法則が使えます。 興…