2005-12-05 SSA = CPS = A正規形 Appelの記事は有名ですし、Kelseyの論文もありましたが、さらに話が続いていたらしい。でもSSAを使っている人たちは関数型言語の再発明と思っていない(おそらく)のが辛いところ。どこかの授業でも「そういうことを言い出す人が必ずいる」とか紹介されていましたが、本当なんだから仕方がない。