Type System

A Type system in Programming Languages is a set of rules that assigns a type (e.g. String) to every term.

There are two main type systems in wide usage:

• Statically Typed Programming Language
• Dynamically Typed Programming Language