…）の描き方の基本は『ストリング図による複合モナドの計算 (1)』に書いておきました。『ストリング図による複合モナドの計算 (1)』の「はじめに」で、 ストリング図を使うと、計算が劇的に簡単になることがわかった。 と述べたのですが、実際にその効果は“劇的”で、記号と等式による煩雑な計算をバイパスできます。詳細はともかくとして、実際の絵を眺めてもらいましょう。ベックの法則（4つの等式）に対応する絵は以下のとおりです。LはList、EはEnum、IはId（恒等関手）の略記です。小さ…

こんな絵を描いてばっかりいます。 原寸大へのリンクストリング図を使ったpictorial calculation（「絵算」て訳すことにしました）。いちおう絵が描けると、もう説明する気力がなくなるのが問題。絵語で伝わればいいのに、ってそれはegoか。

ストリング図による複合モナドの計算 (1) ： ストリング図の紹介と、それによるモナドの定義 続き(2)がある予定です。