PLQ #4Done on:   Tuesday, October 12th

Question 1 @ 2021-10-12 18:07

Which kinds of functions do we have in our current version of the Flang language?


Question 2 @ 2021-10-12 18:09

Say that we use de-Bruijn indexes similar to what we’ve seen in class. What would be the result of evaluating the following?

{with 5 {fun {+ [1] [0]}}}

Question 3 @ 2021-10-12 18:11

What is the main problem with our current Flang language implementation?


Question 4 @ 2021-10-12 18:13

We can drop the with from Flang because we can replace any use:

{with {x V} B}

with

{call {fun {x} B} V}

Is this symmetric? — Could we similarly drop the call+fun and manage with just with?