SSA = CPS = A正規形

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