Statische Typisierung prüft Typen vor der Ausführung, z.B. beim Kompilieren.
Dynamische Typisierung prüft Typen zur Laufzeit.