先月、連番を作るのにintegというプロシージャを定義して喜んでいたら、素直な方法はこれだという指摘をいただいた。ありがとうございます。

(define integ
  (let ((n 0))
    (lambda ()
      (set! n (+ n 1))
      n)))

なるほど。これはきっともう一度"Seasoned Schemer"を読み直すべきだな。

ところで、こういうクロージャをSICPの第3章の評価モデルで表すとどうなるんだろう。
まず考えやすいようにletをlambdaに変換して、

(define integ
  ((lambda (n)
     (lambda ()
       (set! n (+ n 1))
       n))
   0))

nが0に束縛された環境以下でset!が機能するのだから、こんな感じでいいのだろうか？