Question 1 @ 2024-01-30 18:17

Using our WAE language semantics, which of these expressions will evaluate to 1?

---

• A {with {x 1} {with {x 2} x}}
• B {with {x 2} {with {x 1} x}}
• C {with {x 1} {with {x x} x}}
• D {with {x x} {with {x 1} x}}
• E {with {x x} 1}

Question 2 @ 2024-01-30 18:21

In our WAE language, which of the following evaluations would lead to an error?

---

• A {with {x x} 1}
• B {with {x x} x}
• C {with {x 1} {with {x x} x}}
• D {with {x {with {x 1} x}} x}

Question 3 @ 2024-01-30 18:25

For the four identifiers in this WAE expression (x, x, x, y), what are they (in order)?

---

• A Bound-Bound-Free-Free
• B Free-Bound-Bound-Free
• C Binding-Binding-Bound-Bound
• D Binding-Free-Bound-Free
• E Binding-Free-Bound-Bound
• F Binding-Bound-Bound-Free

Question 4 @ 2024-01-30 18:27

In the same WAE expression, what about the +?

It is…

---

• A Free.
• B Bound.
• C Binding.
• D Not an identifier.
• E A punctuation, so not an identifier.
• F A function name.

Question 5 @ 2024-01-30 18:31

How does the following expression gets translated to our de-Bruijn index notation?

---

• A {with {x {with {x 1} [0]}} {with {x [1]} [2]}}
• B {with {x {with {x 1} [0]}} {with {x [0]} [0]}}
• C {with {x {with {x 1} [1]}} {with {x [1]} [1]}}
• D {with {with 1 [0]} {with [1] [2]}}
• E {with {with 1 [0]} {with [0] [0]}}
• F {with {with 1 [1]} {with [1] [1]}}