higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ lisp scheme このネタ3回目。今渡こそリベンジ。 Core Scheme ではなくて Scheme に対する A正規化を考える。前回のまとめを書いたことで新しい視点が加わり、以前の誤りも見えてきた。 結局 A正規化すると、ソースコードがプリミティブな形式になるわけだから、その形式で Scheme 全体が表現できなくてはいけない。 A正規化された Core Scheme に登場する式は以下の通り。 M ::= V (return) | (let (x V) M) (bind) | (if0 V M M) (branch) | (V V1 ... Vn) (tail call) | (let ((x (V V1… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080119%2F1200741667" title=" Scheme に対する A正規化 - 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-19 20:21:07 rich https://higepon.hatenablog.com/entry/20080119/1200741667 1.0 100%