PLQ #7Done on:   Tuesday, February 28th

Question 1 @ 2023-02-28 18:19

How many free identifiers are there in the following expression?

((lambda (x) (x z)) (lambda (y) (y x)))

Question 2 @ 2023-02-28 18:22

In Schlac, what would this evaluate to:

((lambda (x x) x) A B)

Question 3 @ 2023-02-28 18:24

In Schlac with everything that we defined in class, what would this evaluate to?

(->nat ((lambda (m n f x) (m f (n f x)))
        10 2))

Question 4 @ 2023-02-28 18:28

In Schlac with everything that we defined in class, and with a proper definition for 10, what would this evaluate to?

(->nat ((lambda (m n f x) (m f (n f x)))
        10 2))

Question 5 @ 2023-02-28 18:30

Of the following definitions that we used in Schlac, which ones are an identity function? (Note: multiple choice)