SICP 問題1.34
1.3.2 lambdaを使う手続きの構築 - 計算機プログラムの構造と解釈 第二版
手続き
(define (f g)
(g 2))
を定義したとする. その時
(f square)
4
(f (lambda (z) (* z (+ z 1))))
6
解釈系に組合せ (f f) を(意地悪く)評価させるとどうなるか. 説明せよ.
下記のように展開される。
(f f)
↓
(f 2)
↓
(2 2)
となり、(2 2) がエラーになる。
1.3.2 lambdaを使う手続きの構築 - 計算機プログラムの構造と解釈 第二版
手続き
(define (f g)
(g 2))
を定義したとする. その時
(f square)
4
(f (lambda (z) (* z (+ z 1))))
6
解釈系に組合せ (f f) を(意地悪く)評価させるとどうなるか. 説明せよ.
下記のように展開される。
(f f)
↓
(f 2)
↓
(2 2)
となり、(2 2) がエラーになる。