Type System

Dynamic vs Static Typing

Gradual Typing

Strong vs Weak Typing