Advanced
Compilers & Programming Language Theory
Q89 / 100
What is the Boehm-Berarducci encoding?
Correct! Well done.
Incorrect.
The correct answer is B) A Church encoding of algebraic data types in System F (polymorphic lambda calculus), representing ADTs as higher-order functions without primitive data types
B
Correct Answer
A Church encoding of algebraic data types in System F (polymorphic lambda calculus), representing ADTs as higher-order functions without primitive data types
Explanation
B-B encoding (1985): List<A> = ∀R. R → (A → R → R) → R. Represents nil/cons as functions. Enables ADTs in pure System F. Related to Church numerals, continuation-passing. Scott encoding is an alternative.
Progress
89/100