+**Type checking** is the silent sentinel of a [Programming Language](/wiki/programming_language), verifying that values and variables conform to their declared [Data Type](/wiki/data_type). This process ensures that operations are meaningful and helps prevent runtime errors, building more reliable software.
+## See also
+- [Type System](/wiki/type_system)
+- [Static Analysis](/wiki/static_analysis)
+- [Compiler](/wiki/compiler)
... 1 more lines