Type system
Reglerna ett språk har för vilka typer som finns och hur de kombineras.
Static (kompilatorn kollar) vs dynamic (runtime kollar). Strong vs weak (hur strikt). TypeScript: opt-in static över JS:s dynamic. Rust: extremt strikt. Python: dynamic + opt-in type hints. Trade-off mellan flexibilitet och säkerhet.