最初のページ
戻る
次へ
最後のページ
画像
例(let*)
xは0,yは1に束縛する
E1を評価してx1に束縛する
xは2
E2を評価してx2に束縛する
yは2
x1,x2を用いてFを評価する
Fはyであるので、Fの評価は2
Fの評価を式全体の評価とする 式の評価は2
(define x 0)
(define y 1)
(let* (
(x 2)
(y x)
) y)
(x 2)を評価した後
(y x)
を評価している