Beginner
Compilers & Programming Language Theory
Q21 / 100
What is type inference?
Correct! Well done.
Incorrect.
The correct answer is B) Automatically deducing variable and expression types from context without explicit annotations — used in Haskell, ML, Rust, and partially in Java/C#
B
Correct Answer
Automatically deducing variable and expression types from context without explicit annotations — used in Haskell, ML, Rust, and partially in Java/C#
Explanation
Hindley-Milner type inference (ML, Haskell): unification-based algorithm deriving principal types. The most general type is inferred without annotations. C++ template deduction and Java generics use related techniques.
Progress
21/100