TypeScript

JavaScript, mit Sicherheitsnetz

TypeScript erweitert JavaScript um ein mächtiges Typsystem: weniger Fehler, besseres Tooling und entspanntes Refactoring. Von einfachen Annotationen bis zu Generics, Narrowing und fortgeschrittenen Utility-Types.

Grundlagen

Anfänger - die Basics, Schritt für Schritt

• Warum TypeScript, deine erste typisierte DateiEntdecke, was TypeScript ist, welches Problem es löst, und schreibe deine allererste typisierte Datei.
• Primitive Typen, Arrays und einfache UnionsLerne die drei Grundtypen kennen, wie du ein Array typisierst und wie du Typ-Unions erstellst.
• Objekte und InterfacesBeschreibe die Form deiner Objekte mit präzisen Typen und mache sie dann mit Interfaces wiederverwendbar.
• Funktionen typisieren: Parameter, Rückgabe, optionale WerteMache deine Funktionen sicherer, indem du ihre Parameter, ihren Rückgabewert und ihre optionalen Parameter typisierst.
• Inferenz, any und unknownLass TypeScript die Typen per Inferenz selbst erkennen und verstehe, warum unknown dem gefährlichen any überlegen ist.

Fortschritt

Mittelstufe - echte Projekte bauen

• type vs. interface: extends und IntersectionWähle das richtige Konstrukt, um deine Objekttypen zu modellieren und zu kombinieren, ohne Code zu duplizieren.
• Literaltypen und diskriminierte UnionsModelliere die Zustände deiner Anwendung mit Unions, die der Compiler für dich prüft.
• Enums und const-Assertions: die modernen AlternativenVerstehe die Grenzen von Enums und leite deine Typen aus mit as const eingefrorenen Konstanten ab.
• Generics: einfache generische Funktionen und TypenSchreibe wiederverwendbare Funktionen und Typen, die bei jedem Aufruf die volle Typgenauigkeit behalten.
• Echten Code typisieren: DOM, fetch, JSONBehalte an den Grenzen deiner Anwendung verlässliche Typen, dort wo DOM, Netzwerk und JSON dem Compiler entgleiten.

Fortgeschritten

Geübt - fortgeschrittene Muster und Performance

• Narrowing: typeof, in, instanceof und Type GuardsDu beherrschst die Mechanismen der Typverengung und schreibst eigene Prädikate, um Unions verlässlicher zu machen.
• Fortgeschrittene Generics: Constraints und StandardwerteDu schränkst deine Typparameter mit extends ein und gibst Standardwerte vor, um ergonomische generische APIs zu bauen.
• Utility-Typen: Partial, Pick, Omit, Record, ReturnTypeDu leitest Typen mit den eingebauten Utilities aus einer einzigen Quelle ab, um Duplikation und die daraus folgende Drift zu beseitigen.
• never, Vollständigkeit und fortgeschrittene diskriminierte UnionsDu modellierst deine Zustände mit diskriminierten Unions und sicherst ihre Vollständigkeit mit dem Typ never ab.
• Striktes tsconfig: wichtige Optionen und häufige FehlerDu verstehst, was der Strict-Modus wirklich aktiviert, und weißt, wie du mit den typischen Fehlern umgehst, die er in einem bestehenden Projekt aufdeckt.

Meisterschaft

Experte - Architektur, Internals und Grenzfälle

• Bedingte Typen und infer: die Logik des CompilersMeistere die Distributivität bedingter Typen, das Pattern Matching mit infer und Grenzfälle wie never, any und boolean.
• Mapped Types und Key Remapping: Typen umformenVerstehe, wie homomorphe Mapped Types Modifikatoren bewahren und wie die as-Klausel Schlüssel umbenennt oder filtert.
• Template-Literal-Typen: zur Compile-Zeit berechnete ZeichenkettenNutze Template-Literal-Typen, um Unions über kartesische Produkte zu erzeugen und String-Literale mit infer zu zerlegen.
• Überladungen, typisiertes this und VarianzVerstehe die Auflösung von Überladungen, den Pseudoparameter this und die Varianzregeln, die die Zuweisbarkeit von Funktionen bestimmen.
• Muster aus der Produktion: Branded Types, satisfies und .d.tsWende die Expertenmuster an, die eine echte Codebasis absichern: simulierte Nominalität, Prüfung ohne Verbreiterung und ambiente Deklarationen.