SICP読書女子会 #42 (3.2.1)

3.2

実行した関数が作る環境について?

Ex 3.9

再帰バージョン

(define (factorial n)
    (if (= n 1) 1 (* n #?=(factorial (- n 1)))))

Trace

CALL factorial 6
#?="./ex3.9.scm":2:(factorial (- n 1))
  CALL factorial 5
#?="./ex3.9.scm":2:(factorial (- n 1))
    CALL factorial 4
#?="./ex3.9.scm":2:(factorial (- n 1))
      CALL factorial 3
#?="./ex3.9.scm":2:(factorial (- n 1))
        CALL factorial 2
#?="./ex3.9.scm":2:(factorial (- n 1))
#?-    1
        RETN factorial 2
#?-    2
      RETN factorial 6
#?-    6
    RETN factorial 24
#?-    24
  RETN factorial 120
#?-    120
RETN factorial 720

反復バージョン

(define (factorial n) (fact-iter 1 1 n))
(define (fact-iter product counter max-count)
    (if 
        (> counter max-count)
        product
        (fact-iter (* counter product) (+ counter 1) max-count)))

Trace

CALL factorial 6
RETN factorial 720

解答ver1

Ex.3.9 修正

誰が読んだかは関係なくて、その関数の空間が何をみてるかを指してる

(define (factorial n) (fact-iter 1 1 n))
(define (fact-iter product counter max-count)
(if (> counter max-count)
product
(fact-iter (* counter product)
(+ counter 1)
max-count)))

は

• global <- factorial
• global <- fact-iter

例えば

(define (a x)
    (define (b y) '1)
    (define (c z) '2)
)

global <- a <- b
          ↑c

b,cはaが見えてるし, globalも見えてる

1. (a 1) を呼ぶと, その時に１つ新しいフレーム (E1) ができて, E1 -> global と, 引数用の x = 1 で初期化される.
2. (a 1) の実行ステップが (define (b x) ...) にたどり着くと, E1 の中に b っていう名前が増える この時はフレームは増えない

つまりこんなかんじ

なので・・・

解答ver2