higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ scheme 手続きの inline 展開に再び挑む。 begin問題 inline 展開は1つのS式を受け取り、1つ以上のS式を返す。そのことから inline 展開される文脈次第では begin で囲まなければいけない。 (define (func x y) (x) (y)) (if (func a b) c d) => (if (begin (a) (b)) c d) こういうの。 副作用問題 引数に手続きを渡された場合、そのまま展開するとまずい場合がある。 (define (hoge a) (+ a a)) (hoge (read)) => (+ (read) (read)) ;; これはまずい 引… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080115%2F1200409170" title=" inline展開再び - 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-15 23:59:30 rich https://higepon.hatenablog.com/entry/20080115/1200409170 1.0 100%