What is Type Checking? Type checking is the process of verifying data types either at runtime (dynamically) or compile-time (static). It's to make sure the program will execute successfully. Static Type checking is when the type of the variable is known at compile-time. This means that some languages require variables to be initialized with a data type.