6.001 Recitation 20Structure and Interpretation of Computer Programs April 22, 2005The Meta-Circular Evaluator1. eval and applyeval : expression, environment → valueapply : procedure, arguments → value2. meval and mapplyTrace out the execution of meval and mapply on the following expressions.m-eval m-applyExpression EnvProcedure Args(define z (+ 1 3)) GE(define mult (lambda (x y) (* x y))) GE(mult z 3) GE3. DesugaringWrite the let desugarer.( d e f i n e ( let∗ − >l e t exp )16.001 Structure and Interpretation of Computer Programs The Meta-Circular Evaluator4. Evaluator piecesWrite the set! evaluator procedure.( d e f i n e ( e va l− s et ! exp env )5. BrainteaserWrite the named-let desugarer.( d e f i n e (
View Full Document