Advanced
Compilers & Programming Language Theory
Q84 / 100
What is gradual typing?
Correct! Well done.
Incorrect.
The correct answer is B) A type system allowing any and statically typed parts to coexist, with runtime checks at the boundary (casts) ensuring consistency
B
Correct Answer
A type system allowing any and statically typed parts to coexist, with runtime checks at the boundary (casts) ensuring consistency
Explanation
Gradual typing (Siek & Taha 2006): dynamic type is a supertype of all types. Boundaries between dynamic/static code insert runtime type checks (casts). TypeScript, mypy, gradual Racket. Blame tracking assigns casts to parties.
Progress
84/100