Match the following with reference to Functional programming history : a.…
2016
Match the following with reference to Functional programming history :
a. Lambda calculus i. Church, 1932
b. Lambda calculus as programming language ii. Wordsworth, 1970
c. Lazy evaluation iii. Haskel, 1990
d. Type classes iv. McCarthy, 1960
Codes :
- A.
a-iv, b-i, c-iii, d-ii
- B.
a-i, b-iv, c-ii, d-iii
- C.
a-iii, b-ii, c-iv, d-i
- D.
a-ii, b-i, c-iv, d-iii
Attempted by 243 students.
Show answer & explanation
Correct answer: B
Correct matching: a → Church (1932); b → McCarthy (1960); c → Wordsworth (1970); d → Haskell (1990).
a. Lambda calculus — Church, 1932. Church introduced the formal system of lambda calculus in 1932.
b. Lambda calculus as programming language — McCarthy, 1960. This pairs the use of lambda-calculus ideas in early programming-language work with McCarthy's 1960 contributions.
c. Lazy evaluation — Wordsworth, 1970. The question attributes lazy (non-strict) evaluation work to Wordsworth in 1970.
d. Type classes — Haskell, 1990. Type classes were introduced in the context of the Haskell language in 1990.
A video solution is available for this question — log in and enroll to watch it.