Wie unterscheiden sich statische und dynamische Typisierung in Programmiersprachen?

Statische Typisierung bedeutet, dass Variablentypen während der Kompilierung festgelegt und überprüft werden. Dies ermöglicht es, Typfehler vor der Programmausführung zu erkennen. Zum Beispiel wird in Swift oder C++ der Variablentyp explizit angegeben oder vom Compiler abgeleitet, und er kann nicht geändert werden.

Dynamische Typisierung bedeutet, dass Variablentypen zur Laufzeit bestimmt werden. Dies bietet größere Flexibilität, aber Typfehler können erst während der Ausführung auftreten. Beispiele für Sprachen mit dynamischer Typisierung sind Python und JavaScript.

Beispiel in Swift (statische Typisierung):

var number: Int = 10
number = "Zeichenkette" // Kompilierungsfehler

Beispiel in Python (dynamische Typisierung):

number = 10
number = "Zeichenkette"  # Funktioniert ohne Fehler