menu
Sign up

In Lambda Calculus,a Value Can Be Substituted for a Variable

Question 49
Multiple Choice

In lambda calculus,a value can be substituted for a variable by use of a(n)____. A) reduction rule B) evaluation rule C) abstraction rule D) application rule

Related questions
Q 46
Which of the following statements about lazy evaluation is incorrect? A) Operations on lists must evaluate the entire list. B) All arguments to user-defined functions are delayed. C) All arguments to constructor functions are delayed. D) All bindings of local names in let and letrec expressions are delayed.
Q 47
In the Haskell language,the ____ character represents the lambda. A) backslash B) underscore C) vertical bar D) ampersand
Q 48
Which of the following statements about Haskell is correct? A) Haskell is a lazy language that is not fully curried. B) Haskell is a fully curried language that does not do delayed evaluation. C) Haskell is a fully curried and lazy language. D) Haskell does not support higher-order functions.
logo
© 2020 QuizPlus. All Right Reserved