higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ scheme ここに書いてある内容は古いです。A正規形まとめをご参照ください。Figure 8 の (ar x, M, E, K) が分からなかったので見直したら CPS Compilers に説明があった。周辺を読んでみる。 大雑把に意訳すると 抽象 CPS コンパイラは continuation を普通の closure として扱うが、実践的なコンパイラでは、continuation と closure を区別することが多い。データフローの解析効率を向上させたり、メモリ割り当て戦略を区別したりするためである。 このような現実の closure と continuation の違いを扱うために、conti… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080110%2F1199951159" title=" A-normal form 再学習 その2 - Scheme VM - higepon blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-01-10 16:45:59 rich https://higepon.hatenablog.com/entry/20080110/1199951159 1.0 100%