higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ scheme r6rs mutable pair のテストを実行していたらネイティブのスタックオーバーフローに。 これはかの有名な循環構造における equal? の停止性問題じゃないですか。 こういうケースはR5RSでは停止しなくても別によいのですが、R6RSでは明確に停止すると決まってる。 (let ((x (list 'a 'b 'c 'a)) (y (list 'a 'b 'c 'a 'b 'c 'a))) (set-cdr! (list-tail x 2) x) (set-cdr! (list-tail y 5) y) (equal? x y)) ちなみにGauche は停止しません。（R5RSだから正しい動… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080818%2F1219068795" title=" R6RS の equal? の停止性について - 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-08-18 23:13:15 rich https://higepon.hatenablog.com/entry/20080818/1219068795 1.0 100%