2007-12-29 おや? scheme 珍しく寝れないので某資料を眺めていたらCPSやらCPS変換が分かった気がする。頭に絵が浮かんだ。あと closure 変換はやはりdisplay closure と同じだと思う。ということで明日(今日?) CPS変換やってみる? それにしても最適化の前の中間表現としてCPSを選ぶべきなのかA(K?)正規化を選ぶべきなのかどちらがどういうメリットがあるのかさっぽり分からない。どちらの場合もBeta reduction出来そうだし。CPSの場合はむしろ一連の手続き呼び出しがアセンブリで言うところの jmp に近くなるというメリットの方が大きいのかな? 追記 あまり関係ないけど>まずは、高速な商用Scheme処理系として有名な Chez Scheme の中の人による 招待講演で幕が開きました。 いいな。