1.  (2 points for x, and 4 for y) (a) Draw a box-and-pointer diagram that shows Scheme’s internal representations of x, and y, assuming that the code is executed in the order given.

> (define x '((a b) (()) . d))

> (define y (cons (cdr x) (cadr x)))

x  ☐

y  ☐

(3 points)  If we then have Scheme evaluate y, what will be printed?                                                                                        

2. (6 points) In the homework, you wrote curry2.  Now write uncurry2.    uncurry2 takes as its argument a curried    procedure that takes its two arguments one at a time, then uncurry2 returns a procedure that takes both arguments at once. Your parenthesis placement is critical here.

Examples: Things in bold are what the user enters.

> (define make-adder

(lambda (n)

(lambda (m)

(+ m n))))

> (define normal-add (uncurry2 make-adder))

> (normal-add 4 5)

9

> (let* ([curry2 (lambda (f)

(lambda (x)

(lambda (y)

(f x y))))]

[plus-c (curry2 +)]

[plus-unc (uncurry2 plus-c)])

(plus-unc 4 5))

9

(define uncurry2    ; you write the rest.  Incorrect parentheses placement may result in 0 points for this problem.

3. (14 points) The code below begins with my snlist-recur code, then the execution of seven expressions that use that procedure.  For each of those seven expressions, show the output.  For each individual part, credit will be given only if your  answer is precisely correct (which includes that the parentheses are precisely correct).

[Hint:  The seven answers are all different]

(define snlist-recur

(lambda (seed item-proc list-proc)

(letrec ([helper

(lambda (ls)

(if (null? ls)

seed

(let ([c (car ls)])

(if (or (pair? c) (null? c))

(list-proc (helper c) (helper (cdr ls)))

(item-proc c (helper (cdr ls)))))))])

helper)))

((snlist-recur '() cons cons) '(a (b))) ____________________________________

((snlist-recur '() cons list) '(a (b)))                                               

((snlist-recur '() cons append) '(a (b)))                                           

((snlist-recur '() list cons) '(a (b)))                                               

((snlist-recur '() list list) '(a (b))) ____________________________________

((snlist-recur '() list append) '(a (b))) ____________________________________

((snlist-recur '() append list) '(a (b))) ____________________________________