問題3-10 (3.2.3 Frames as the Repository of Local State)

(define (make-withdraw initial-amount)
  (let ((balance initial-amount))
    (lambda (amount)
      (if (>= balance amount)
          (begin (set! balance (- balance amount))
                 balance)
          "Insufficient funds"))))

ここに (let ( ( ) ) )が( (lambda () ) )のシンタックスシュガーであるということを考慮すると，上のはこんな感じで置き換えられる．

(define (make-withdraw initial-amount)
  ((lambda (balance) 
     (lambda (amount)
       (if (>= balance amount)
	   (begin (set! balance (- balance amount))
		  balance)
	   "Insufficient funds")))
   initial-amount))

lambdaが2つになって，とてもキレイだ!

今回の課題は，以下の各呼び出しで，環境はどう変わっていくかだ!

(define W1 (make-withdraw 100))

initial-amountが100であるような環境ができた瞬間に，

  ((lambda (balance) 
     (lambda (amount)
       (if (>= balance amount)
	   (begin (set! balance (- balance amount))
		  balance)
	   "Insufficient funds")))
   initial-amount))