+**Type safety** is a characteristic of a [Programming Language](/wiki/Programming_Language) that ensures operations only apply to compatible [Data Types](/wiki/Data_Type). It helps prevent common programming errors by enforcing strict rules on how different types of values can be used, leading to more reliable and predictable software behavior.
+## See also
+- [Static Typing](/wiki/Static_Typing)
+- [Dynamic Typing](/wiki/Dynamic_Typing)
+- [Compiler](/wiki/Compiler)
... 1 more lines