A programming language feature that requires variables to be explicitly declared with their data types at compile time, often catching type-related errors early in the development process.

"In statically typed languages like Java, the compiler checks type compatibility at compile time."