memo

• http://ja.wikipedia.org/wiki/ソフトウェアトランザクショナルメモリ うーんまるで分からない。clojure に出てくる。

Scheme、ML、Haskell などの関数型言語のコンパイラでは、Fortran や C などのコンパイラで SSA の利用が期待される箇所で continuation passing style (CPS) を用いるのが一般的である。SSA と CPS は形式的に等価であり、最適化や最適化やコードの変換などがいずれかに施された場合、もう片方にも同様に適用することができる。

http://ja.wikipedia.org/wiki/静的単一代入

ついに、こんにちは、CPS! SSA と等価とは。現時点ではぜんぜん別のものに思える。たぶんどっちも理解が浅いせい。SSA と immutable という概念なら関係していそうだと想像するけど。

• http://www.coins-project.org/index.html COINS. Java なので手をだしやすい、はず、だけどうーん。