A programming language feature that requires strict adherence to data types, often preventing unintended type conversions and catching type-related errors early in the development process.

"In strongly typed languages like Haskell, the compiler enforces strict type checking."