PLQ #6Done on:   Tuesday, October 26th

Question 1 @ 2021-10-26 18:32

In the Brang language from homework #6, what would this evaluate to?

(run "{with {fun {fun {fun} fun}}
        {with {foo {fun {fun} {+ fun 1}}}
          {call fun foo 123}}}")

Question 2 @ 2021-10-26 18:35

With encoded Church numerals in Schlac, what arithmetic operator does the following represent?

(lambda (m n) (lambda (f x) (m f (n f x))))

Question 3 @ 2021-10-26 18:38

Why do we need “protection” when writing our Y combinator?


Question 4 @ 2021-10-26 18:40

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