Why We Need LETREC

• This LET statement would generate an error

(let ((x 5) (y (+ x 1)))

(* x y))

because it translates into a LAMBDA application ...

((lambda (x y) (* x y)) 5 (+ x 1))

where �x� is unbound outside of the LAMBDA

Previous slide

Next slide

Back to first slide

View graphic version