Datentypen und Typensysteme

Datentypen stellen eine der wichtigsten Abstraktionen in Programmiersprachen dar. Sie definieren nicht nur die Art der Daten, die eine Variable speichern kann, sondern auch die Operationen, die auf diese Daten angewendet werden können. Moderne Programmiersprachen unterscheiden zwischen primitiven Datentypen wie Ganzzahlen, Fließkommazahlen, Zeichen und Booleschen Werten sowie komplexeren Strukturen wie Arrays, Objekten und Funktionen.

JavaScript demonstriert ein dynamisches Typsystem, bei dem Variablen zur Laufzeit ihren Typ ändern können:

let dynamicVariable = 42;        // Zahl
dynamicVariable = "Hallo Welt";  // String
dynamicVariable = true;          // Boolean
dynamicVariable = {name: "Max"}; // Objekt

Typensysteme lassen sich in statische und dynamische Systeme kategorisieren. Statische Typisierung erfolgt zur Compile-Zeit und bietet Vorteile wie frühe Fehlererkennung und bessere Performance-Optimierungen. Dynamische Typisierung hingegen erlaubt größere Flexibilität zur Laufzeit, kann jedoch zu Laufzeitfehlern führen, die bei statischer Typisierung bereits zur Entwicklungszeit erkannt würden.