Seite 7 - TypeScript

Die paths-Option in tsconfig.json macht Importe wie @/components lesbar und stabil, löst aber nur die Typprüfung, nicht die Modulauflösung zur Laufzeit. Dieser Artikel zeigt, wie Aliase korrekt bis in Vite, Webpack, Node und Testrunner durchgezogen werden, damit nach dem Build kein Modul-nicht-gefunden-Fehler mehr auftaucht.

Wer Jest ohne saubere TypeScript-Anbindung einsetzt, verliert die entscheidenden Vorteile von Typsicherheit genau dort, wo Fehler am teuersten sind, nämlich in Tests und Mocks. Dieser Artikel zeigt, wie sich ts-jest und babel-jest unterscheiden, wie jest.config.ts typsicher aufgesetzt wird und wie Mock-Funktionen, Modul-Mocks und Klassen-Mocks mit echten Typen statt any geschrieben werden.

Prisma generiert aus einer einzigen Schemadatei einen vollständig typisierten Datenbank-Client. Jede Query, jede Relation und jedes Feld ist zur Kompilierzeit bekannt, was ganze Klassen von Laufzeitfehlern an der Datenbankgrenze verschwinden lässt.

Wer TypeScript-Typen manuell parallel zu Objekten und Konstanten pflegt, produziert früher oder später Drift zwischen Code und Typdefinition. Die Operatoren keyof und typeof leiten Typen direkt aus vorhandenen Werten und Interfaces ab, sodass sich Objektschlüssel, Konfigurationswerte und literale Optionen automatisch synchron halten und der Compiler Tippfehler bei Property-Zugriffen zuverlässig ablehnt.

TypeScript erlaubt Generics über konkreten Typen, aber keine Generics über Typkonstruktoren selbst. Eine Funktion, die für jeden beliebigen Container-Typ wie Array, Option oder Promise gleichermaßen funktioniert, lässt sich deshalb nicht direkt schreiben. Über eine Technik namens Defunctionalization, bekannt als URI-Pattern aus fp-ts, lässt sich dieses fehlende Feature dennoch praktikabel simulieren.

Ein Projekt ohne Compiler-Fehler ist nicht automatisch typsicher. any breitet sich unbemerkt aus, über externe Bibliotheken ohne Typen, über JSON.parse und über implizit inferierte Parameter. Type Coverage macht diese Lücken sichtbar, quantifiziert sie in einer einzigen Kennzahl und lässt sich als CI-Gate gegen schleichende Verschlechterung absichern.

Template Literal Types kombinieren String-Literal-Typen zu neuen Literal-Typen und machen aus laxen string-Parametern präzise, überprüfbare Vertragsformen. Event-Namen, CSS-Klassenkombinationen, Routen-Pfade und Konfigurationsschlüssel lassen sich damit bereits beim Kompilieren validieren, lange bevor ein falscher String zur Laufzeit einen stillen Bug erzeugt oder ein Kunde einen kaputten Link anklickt.

Wer TypeScript-Typen nur additiv mit any oder losen Objektformen modelliert, verschenkt die Stärke des Typsystems. Union-Types beschreiben eine von mehreren möglichen Formen, Intersection-Types kombinieren mehrere Formen zu einer. Richtig eingesetzt entstehen daraus API-Modelle und Kompositionen, die der Compiler tatsächlich absichert.

Wer Formulare in React 19 mit React Hook Form baut, kommt an einer Schema-Validierungsbibliothek kaum vorbei. Zod und Yup loesen dasselbe Problem mit unterschiedlichen Prioritaeten: TypeScript-first versus etablierte JavaScript-API. Dieser Artikel vergleicht beide entlang von Typinferenz, Syntax, verschachtelten Strukturen und Migrationsaufwand.

pnpm Workspaces organisieren mehrere TypeScript-Pakete in einem Repository, ohne die Dependency-Duplizierung von npm oder das großzügige Hoisting von Yarn Classic. Wer ein Monorepo neu aufsetzt oder ein bestehendes migriert, profitiert von einem strikteren, aber vorhersehbareren Dependency-Baum.