What is a statically typed programming language?

A language in which the type of each variable, expression, or function is determined before compilation or at runtime, and the compiler or runtime environment enforces type correctness during operations. This prevents type mismatch errors at earlier stages of development.