Category:Typing/Checking/Static

From Rosetta Code
Typing/Checking/Static is a programming language feature.

Indicates that this language applies type checks at compile time (or moral equivalent for languages that are not implemented with a separate compilation stage; e.g., that might be when the program is loaded into memory).