Static typing

Static typing is a typing that could be described like Types checked before run-time

Examples of programming languages that have static typing

• TypeScript
• Golang