higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ scheme define の normalize を変えた。a-normalize-name ではなくて a-normalize-with-kが良い。 こうでないと inline 時の手続きの大きさが把握できない。現状を整理。 A-reduction が動くようになった。 inline が正しく行われているかを見よう。 短めの手続き 簡単な inline 展開 (define (kar obj) (car obj)) (print (kar '(a . b))) と思ったら quote の扱いがおかしい。 quote は value? => #t であること、normalize は (k m)を返すことを… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080113%2F1200226659" title=" A-normal form 再学習 その6 - 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-13 21:17:39 rich https://higepon.hatenablog.com/entry/20080113/1200226659 1.0 100%