What is Type Checking?

Type checking is the process of verifying the integrity and accuracy of computer code using different programming languages. Type checking is used to audit sequences of informatic code and often constitutes the checking of functions, modules, expressions, variables, and other related data structure types. This process is normally used by programmers to eliminate or reduce the occurrence of bugs found in software programs and network infrastructure prior to initial deployment. Type checking can be done statically (during compile time), dynamically (during run-time), or by using a combination of the two depending on the programming language being used.