kiririmode https://blog.hatena.ne.jp/kiririmode/ 理系学生日記 https://kiririmode.hatenablog.jp/ SICP この pairs の実装はどこが間違っているのかという問題です． (define (pairs s t) (interleave (stream-map (lambda (x) (list (stream-car s) x)) t) (pairs (stream-cdr s) (stream-cdr t)))) 実際に走らせてみたところ，無限ループにハマってしまいました． (pairs integers integers) そうか! interleave の段階では遅延評価されないので，interleave を呼び出す段階で，pairs が呼び出される．integers は無限ストリームだから… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkiririmode.hatenablog.jp%2Fentry%2F20081003%2Fp1" title="問題 3-68 (3.5.3 Exploiting the Stream Paradigm) - 理系学生日記" 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-10-03 00:00:00 rich https://kiririmode.hatenablog.jp/entry/20081003/p1 1.0 100%