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