PLQ #4

Question 1 @ 2023-02-07 18:28

What is the de-Bruijin index translation of the following expression?

{with {x 2}
{with {y {+ x 3}}
{with {z {+ x y}}
{+ x z}}}}

A
{with 2 {with {+ [0] 3} {with {+ [1] [0]} {+ [2] [0]}}}}
B
{with 2 {with {+ [1] 3} {with {+ [2] [1]} {+ [2] [0]}}}}
C
{with 2 {with {+ [0] 3} {with {+ [0] [1]} {+ [0] [2]}}}}
D
{with {x 2} {with {y {+ [0] 3}} {with {z {+ [1] [0]}} {+ [2] [0]}}}}
E
{with {x [2]} {with {y {+ x [3]}} {with {z {+ x y}} {+ x z}}}}

Question 2 @ 2023-02-07 18:33

Given the following curried function, what is a proper type declaration for it?

(define (add3 x)
(lambda (y)
(lambda (z)
(+ x y z))))

A
Number Number Number -> Number
B
((Number -> Number) -> Number) -> Number
C
(Number -> Number) -> (Number -> Number)
D
Number -> Number -> (Number -> Number)
E
Number -> (Number -> Number) -> Number
F
Trick question: this is not a curried function

Question 3 @ 2023-02-07 18:36

Consider this FLANG code:

{call <thing> <arg>}

What must be true of <thing> to run properly and get a value?

(Choose the BEST answer.)

<thing> must be a function form.
<thing> must evaluate to a function value.
<thing> must fit on one line.
<thing> must evaluate to a number.
<thing> must be a function form or a function binding.
<thing> can be anything.

Question 4 @ 2023-02-07 18:40

What would be the result of running this expression using our Flang language implementation?

{with {+ *} {+ 1 2}}

2
3
Unbound + error
Unbound * error
Bad with syntax
Bad syntax in the call

Question 5 @ 2023-02-07 18:44

What would be the result of running this expression using our Flang language implementation?

{with {+ *} {call + 1 2}}

2
3
Unbound + error
Unbound * error
Bad with syntax
Bad syntax in the call