What does "statically typed" mean in programming?

statically typed is one of the most common terms in software development. This guide explains what it means, how it is used in practice, and why it matters, with real examples from the developer world.

Definition

A language is statically typed when the type of every variable is known and checked at compile time, before the program runs. Type errors are caught early. Examples: TypeScript, Java, Rust, Go, Kotlin, Swift, C++.

Example

"Because TypeScript is statically typed, the compiler caught the mismatched argument type before the code ever reached production."

Related terms

dynamically typed
type checking
compiler
type safety
type inference

Ready to practice your English at work?

Lingua-e has interactive exercises built around real developer conversations: standups, code reviews, retrospectives, and more. Practice until it comes naturally.

Try Lingua-e for free