Lies diese TypeScript-Snippets für Experten Zeile für Zeile — jedes kommt mit einer Erklärung, was der Code tut und warum.
TypeScript verwendet strukturelle Typisierung, aber manchmal benötigen wir nominale Typisierung, um das versehentliche Mischen logisch unterschiedlicher Primitivtypen (wie Währungen oder IDs) zu ve…
Snippet öffnen →Dieses Snippet nutzt Template-Literal-Typen und rekursive bedingte Typen, um dynamische Pfadparameter zur Kompilierzeit aus einem String-Literal zu extrahieren. Es zeigt, wie TypeScript Strings par…
Snippet öffnen →Dieses Experten-Snippet zeigt, wie man einen Union-Typ in einen Intersection-Typ umwandelt. Es nutzt die Tatsache aus, dass Funktionsparameter kontravariant sind, was TypeScript dazu zwingt, mehrer…
Snippet öffnen →Eingeführt in TypeScript 5.2, nutzt die 'using'-Deklaration den 'Symbol.dispose'-Hook, um sicherzustellen, dass Ressourcen wie Dateihandles oder Datenbankverbindungen automatisch beim Verlassen des…
Snippet öffnen →Durch die Zuweisung einer Variable zum Typ 'never' in einem Default-Zweig erstellen Sie eine Prüfung auf Vollständigkeit zur Kompilierzeit. Wenn das 'Shape'-Union um ein Mitglied erweitert wird, sc…
Snippet öffnen →Assertion-Signaturen verwenden das 'asserts'-Schlüsselwort, um dem Compiler mitzuteilen, dass eine Bedingung wahr sein muss, wenn die Funktion normal zurückkehrt. Dies schränkt Typen für den Rest d…
Snippet öffnen →Stage 3 Decorators bieten eine typsichere Möglichkeit, Klassenmitglieder zu umschließen. Im Gegensatz zu alten experimentellen Decorators nutzen diese ein strukturiertes 'context'-Objekt, das Namen…
Snippet öffnen →Der 'satisfies'-Operator validiert, ob ein Objekt einem Typ entspricht, ohne den inferierten Typ zu erweitern. Dies erlaubt es, spezifische Literal-Informationen zu behalten (z.B. dass 'red' ein Tu…
Snippet öffnen →TypeScript 4.7 führte explizite Varianz-Annotationen 'in' und 'out' für generische Typparameter ein. 'out T' markiert eine kovariante Position (der Typ erscheint nur in Ausgaben), 'in T' kennzeichn…
Snippet öffnen →Promise.withResolvers (ES2024, TS 5.4+) liefert das Promise zusammen mit seinen resolve- und reject-Funktionen, ohne dass du sie im Executor-Callback einfangen musst. Das umgeht das hässliche 'let…
Snippet öffnen →Der 'satisfies'-Operator (TS 4.9+) ist das richtige Werkzeug für Test-Doubles. Anders als eine Typannotation (': UserRepo') verbreitert er die Variable nicht auf das Interface — findById behält sei…
Snippet öffnen →Der 'const'-Modifier auf einem Typparameter (TS 5.0+) weist die Inferenz an, das Argument so zu behandeln, als hätte der Aufrufer 'as const' geschrieben — String-Literale, readonly Arrays und Tuple…
Snippet öffnen →Wer Symbol.asyncIterator implementiert, macht aus einer cursor-basierten Quelle ein vollwertiges for-await-of-Iterable. Der Async-Generator hält den Cursor auf dem Call-Stack statt in Instanzfelder…
Snippet öffnen →Equal vergleicht zwei Typen, indem zwei generische Funktionssignaturen über ihnen geprüft werden – streng genug, um `any` und `unknown` zu unterscheiden und strukturelle Beinahetreffer abzulehnen.…
Snippet öffnen →AbortSignal.timeout erzeugt ein Signal, das nach der angegebenen Frist automatisch abbricht; AbortSignal.any führt mehrere Signale zusammen, sodass das erste Abort gewinnt und das kombinierte Signa…
Snippet öffnen →`reduce<Counts>` fixiert den Accumulator-Typ, sodass der Rückgabewert in jedem Zweig strukturell gegen Counts geprüft wird statt zu `Event | Counts` zu weiten. Im switch liefert das Diskriminantenf…
Snippet öffnen →Variadische Tupel erlauben es, die Parameterliste einer Funktion als generisches Tupel zu behandeln und Parameter Schritt für Schritt abzutragen. Der Curry-Typ rekursiert durch das Tupel: Jeder Sch…
Snippet öffnen →`await using` (TC39 Explicit Resource Management, seit TypeScript 5.2) bindet ein AsyncDisposable an den Block-Scope und ruft beim Verlassen — auch im Fehlerfall — dessen `Symbol.asyncDispose`-Meth…
Snippet öffnen →TypeScripts strukturelles Typsystem behandelt jeden `string` als austauschbar — validierte Werte mischen sich unbemerkt mit Rohdaten. Ein Branded Type markiert ein Primitiv mit einer Phantom-Eigens…
Snippet öffnen →Rekursive Conditional Types in Kombination mit variadischen Tupel-Spreads erlauben Berechnungen auf Arrays auf Typ-Ebene — nicht nur zur Laufzeit. `Reverse` trennt den Kopf ab, rekursiert über den…
Snippet öffnen →Beispielbasierte Tests prüfen Einzelfälle; property-basierte Tests behaupten Invarianten über einen generierten Stichprobenraum. Modelliert man Generatoren als `Gen<T> = () => T`, lassen sie sich m…
Snippet öffnen →`Array<T>` und `T[]` tragen keine Längeninformation auf Typebene — eine Funktion für 3-Vektoren kann zur Compile-Zeit keinen 2-Vektor ablehnen. Der endrekursive `Tuple<T, N, R>`-Builder sammelt Ele…
Snippet öffnen →Library-Autoren testen Laufzeitverhalten mit Vitest oder Jest, aber Typ-Verträge brauchen ein eigenes Gate. Der `Equal<A, B>`-Trick nutzt aus, dass zwei Funktionstypen mit internen Conditionals nur…
Snippet öffnen →`Promise.all` ist fail-fast: ein Reject verwirft alle erfüllten Werte — falsch, sobald partieller Erfolg fachlich Sinn ergibt (Fan-out-Fetches, Batch-Writes, parallele Migrations). `Promise.allSett…
Snippet öffnen →Dieses Beispiel zeigt, wie Framework-Entwickler Routenparameter dynamisch zur Kompilierzeit aus einem Pfad-String-Literal unter Verwendung von TypeScript-Template-Literal-Inferenz und Rekursion ext…
Snippet öffnen →Dieses Experten-Muster verwendet opaque Token mit Phantom-Daten-Merkmalen (`_type!: T`), um einen leichtgewichtigen, vollständig typsicheren Dependency-Injection-Container ohne Abhängigkeit von exp…
Snippet öffnen →Durch die Abbildung generischer Record-Typen auf Event-Namen und Payloads baut dieses Muster einen stark typisierten Event-Kanal auf. Listener erhalten automatisch inferierte Event-Payload-Paramete…
Snippet öffnen →Dieses Design zeigt, wie asynchrone Middleware-Komposition in Framework-Engines typisiert werden kann. Die funktionale rekursive Iteration mit Next-Handlern gewährleistet kontrollierte kontextuelle…
Snippet öffnen →Phantom-Typparameter heften Typ-Level-Tags an Laufzeit-Instanzen an, ohne deren zugrunde liegende Datenstruktur zu verändern. Dies verhindert ungültige Lebenszyklus-Zustandsübergänge zur Kompilierz…
Snippet öffnen →Dieses Beispiel zeigt eine rekursive Typ-Berechnung mittels Template-Literals, um punktseparierte Pfad-Strings für tief verschachtelte Objektstrukturen zur Kompilierzeit zu generieren. Dies bietet…
Snippet öffnen →