+**Static typing** is a [type system](/wiki/type_system) discipline where a variable's type is known and checked at [compile time](/wiki/compile_time). This approach helps catch many potential programming errors early, before the program even runs, offering predictability and aiding code maintenance.
+## See also
+- [Dynamic Typing](/wiki/dynamic_typing)
+- [Type Safety](/wiki/type_safety)
+- [Programming Language](/wiki/programming_language)
... 1 more lines