不純な計算科学 - 檜山正幸のキマイラ飼育記 (はてなBlog)

「不純」は僕のスローガンですね。近代的（モダン）なプログラミングやソフトウェア工学では、排除、あるいは忌避されている概念や手法を積極的に取り上げようということです。アンチモダンと言ってもいいけど、なんか哲学用語みたいだから「不純な計算」、「不純なプログラミング」と呼ぶことにします。で、その不純なモノ達とは： 副作用や例外 goto文 フローチャート 多重継承 自己改変コード 副作用や例外は、モナド／余モナド／両モナド（双モナド）などを使えば定式化できます。分合律（dissociative law）のような特殊な計算法則を使うのも楽しいですね。 シーケント計算と例外処理コード 色付き絵算と分合律 両クライスリ圏が構成できた カテゴリカル・モデリングに向けて goto文は、継続や米田埋め込み（CPS変換）で解釈できる場合もあります*1。 CPS（継続渡し方式）変換をJavaScriptで説明し