ループ変数をクロージャで包む

Common Lisp や ISLISP の do がループ変数を破壊的変更するのに対して Scheme では新しく環境を生成するのを知った時には「似て非なるものだ……」と思いました。 https://t.co/xKLGTMEzuA

— 齊藤敦志 (@SaitoAtsushi) 2020年10月30日

Gauche で確認コードを書いてみました。

(use srfi-42) ; list-ec

(define (f)
  (list-ec (: i 0 3)
           (lambda () i)))

(define (g)
  (rlet1 lis ()
    (do ((i 0 (+ i 1)))
        ((= i 3))
      (push! lis (lambda () i)))))

実行結果です。

gosh> (map (lambda (f) (f)) (f))
(0 1 2)
gosh> (map (lambda (f) (f)) (g))
(2 1 0)