Category:Typing/Checking/Static

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).