About
Static typing, otherwise known as type enforcement, is when a variable got a type that will never changes during runtime.
The variable (container) is declared to hold only a specific type of value, such as number or string.
Static typing is typically cited as a benefit for program correctness by preventing unintended value conversions.
This kind of language are called typesafe
The counterpart of static typing is Weak typing that allows a variable to hold any type of value at any time.
Pro/Cons
Pro:
- IDE - Feature support from auto-completion to refactoring and everything in-between.
- Type error discovered at build time
Cons:
- You need to define your type and manage dynamic type yourself (cast)
Example
- C
- …