Here is an alternative procedural representation of pairs. For this representation, verify that
(car (cons x y))
for any objects
(define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lambda (p q) p)))
What is the corresponding definition of
? (Hint: To verify that this works, make use of the substitution model of section 1.1.5.)
There are no comments yet.
You must log in to post a comment.Login