UnionTypen

unionTypen ist ein Typkonzept aus der Informatik, das es einer Variable erlaubt, zur Laufzeit einen von mehreren Typen anzunehmen. In vielen Programmiersprachen werden sie als union types, sum types oder discriminated unions bezeichnet. Sie dienen dazu, Werte zu modellieren, die unterschiedliche Formen oder Varianten haben können, ohne mehrere separate Typen definieren zu müssen.

In statisch typisierten Sprachen werden unionTypen durch spezielle Typkonstrukte realisiert. TypeScript nutzt den Operator |, zum Beispiel type Geliefert = Zahl | Zeichenkette. Andere Sprachen verwenden algebraische Datentypen mit Varianten oder enums, um verschiedene alternative Formen eines Werts zu kodieren. In funktionalen Sprachen sind solche Typen eng mit Musterabgleich oder Fallunterscheidung verbunden.

Der Hauptnutzen liegt in klaren Schnittstellen und sicherer Fehlerbehandlung. UnionTypen ermöglichen optionale Werte, Ergebnistypen wie Erfolg bzw. Fehler und flexible APIs. Durch Musterung oder Tagged Unions kann der Code jeden Fall gezielt behandeln, wodurch Laufzeitfehler reduziert und die Typensicherheit erhöht wird.

Zu den Herausforderungen zählen die Notwendigkeit einer vollständigen Fallunterscheidung (Exhaustiveness), möglicher Overhead in dynamischen Sprachen, sowie die Komplexität bei großen oder verschachtelten Unions. In der Praxis ist es wichtig, klare Tags oder Discriminants zu verwenden, um das Matching zuverlässig und wartbar zu gestalten.

Beispiele: In TypeScript könnte man definieren: type Result<T> = { ok: true; value: T } | { ok: false; error: string }; oder einfach: type ZahlOderText = number | string. Solche Definitionen erleichtern robuste Funktionen, die mit mehreren möglichen Eingaben umgehen müssen.