What is the de-Bruijin index translation of the following expression?
{with 2 {with {+ [0] 3} {with {+ [1] [0]} {+ [2] [0]}}}}
{with 2 {with {+ [1] 3} {with {+ [2] [1]} {+ [2] [0]}}}}
{with 2 {with {+ [0] 3} {with {+ [0] [1]} {+ [0] [2]}}}}
{with {x 2} {with {y {+ [0] 3}} {with {z {+ [1] [0]}} {+ [2] [0]}}}}
{with {x [2]} {with {y {+ x [3]}} {with {z {+ x y}} {+ x z}}}}
Given the following curried function, what is a proper type declaration for it?
Number Number Number -> Number
((Number -> Number) -> Number) -> Number
(Number -> Number) -> (Number -> Number)
Number -> Number -> (Number -> Number)
Number -> (Number -> Number) -> Number
Consider this FLANG code:
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.What would be the result of running this expression using our Flang language implementation?
2
3
+
error*
errorwith
syntaxWhat would be the result of running this expression using our Flang language implementation?
2
3
+
error*
errorwith
syntaxcall