static typing

RU: статическая типизация

A type discipline where the type of every variable is known at compile time. The compiler checks type correctness before the program runs and rejects programs with type mismatches. TypeScript, Java, and Rust are statically typed.