Beginner Compilers & Programming Language Theory
Q31 / 100

What is a type system?

Correct! Well done.

Incorrect.

The correct answer is B) A formal system assigning types to program constructs to prevent type errors, catch bugs at compile time, and document interfaces

B

Correct Answer

A formal system assigning types to program constructs to prevent type errors, catch bugs at compile time, and document interfaces

Explanation

Type systems: static (checked at compile time: Java, Rust, Haskell), dynamic (checked at runtime: Python, JavaScript), gradual (both: TypeScript, mypy). Strong typing prevents implicit conversions; weak allows them.

Previous All Questions Next
Progress
31/100
⚗️

Browse All Compilers & Programming Language Theory Questions

100 questions · beginner to advanced