Informatik Programmierung – TypeScript und Typsysteme

TypeScript fügt any, unknown, never, void, null, undefined, object, symbol, bigint sowie Array<T>, Tuple und Enum hinzu.

Aktiviert alle strengen Typ-Prüfungen: noImplicitAny, strictNullChecks, strictFunctionTypes, strictBindCallApply, strictPropertyInitialization, alwaysStrict.

any schaltet Typprüfung komplett aus; unknown erzwingt Typ-Narrowing vor Nutzung – sicherer für externe Daten ohne Typdefinition.

Union Types (A | B) erlauben einen Wert aus mehreren Typen; Zugriff nur auf gemeinsame Eigenschaften, Narrowing via typeof, instanceof oder User-Defined Type Guards.

Intersection Types (A & B) vereinen alle Eigenschaften beider Typen; nützlich für Mixins, Extension-Patterns und das Zusammenführen von Interface-Verträgen.

Generics (<T>) ermöglichen typsichere wiederverwendbare Komponenten; Typparameter werden bei Aufruf konkretisiert oder per Constraint (extends) eingeschränkt.

Type Guards verengen Typen zur Laufzeit: typeof (Primitives), instanceof (Klassen), in-Operator (Properties), User-Defined Type Guards (x is T) und Assertion Functions (asserts x is T).

keyof T liefert Union aller Property-Keys von T; typeof x extrahiert den Typ einer Wert-Expression – Basis für Lookup Types und Mapped Types.

Mapped Types transformieren Properties: { [K in keyof T]: Transform<T[K]> }; Beispiele: Partial<T>, Required<T>, Readonly<T>, Pick<T,K>, Record<K,T>.

Conditional Types (T extends U ? X : Y) wählen Typen basierend auf Typbeziehungen; Grundlage für Utility Types wie Exclude, Extract, NonNullable, ReturnType.

infer deklariert einen Typparameter innerhalb der Bedingung, der aus der Übereinstimmung extrahiert wird – z. B. für ReturnType<T> oder Parameters<T>.

Template Literal Types (`` `${Prefix}${Suffix}` ``) erzeugen String-Literal-Typen aus Unions; ermöglichen typsichere Event-Namen, CSS-Klassen oder API-Pfade.

Mehrere Interface-Deklarationen mit gleichem Namen werden zu einem zusammengeführt; Properties werden vereint, Funktionssignaturen zu Überladungen kombiniert.

Mehrere Signaturen (Überladungen) gefolgt von einer Implementierungssignatur; Compiler wählt passende Signatur basierend auf Argumenten – Typsicherheit für verschiedene Aufrufvarianten.

Branded Types simulieren nominales Typing: type Brand<T, B> = T & { __brand: B }; verhindern versehentliches Verwechseln strukturell gleicher Typen (z. B. UserId vs. PostId).