Consider the Scheme definition: (define (mystery x y) (lambda (z) (x (y (x 2))))) (1) Translate...

 

Transcribed Image Text:

Consider the Scheme definition: (define (mystery x y) (lambda (z) (x (y (x 2))))) (1) Translate the mystery function to a A-calculus expression. HINT: You will need As introducing the parameters x and y around the body of mystery. (2) What happens when you evaluate (mystery (lambda (x) (+ 1 x)) (lambda (y) (* 2 y))) (3) What happens when you evaluate ((mystery (lambda (x) (+ 1 x)) (lambda (y) (* 2 y))) 5) (4) What happens when you evaluate (((mystery (lambda (x) (+ 1x)) (lambda (y) (2 y))) 5) 6) Consider the Scheme definition: (define (mystery x y) (lambda (z) (x (y (x 2))))) (1) Translate the mystery function to a A-calculus expression. HINT: You will need As introducing the parameters x and y around the body of mystery. (2) What happens when you evaluate (mystery (lambda (x) (+ 1 x)) (lambda (y) (* 2 y))) (3) What happens when you evaluate ((mystery (lambda (x) (+ 1 x)) (lambda (y) (* 2 y))) 5) (4) What happens when you evaluate (((mystery (lambda (x) (+ 1x)) (lambda (y) (2 y))) 5) 6)