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