Das Typsystem von TypeScript ist eher ungewöhnlich.

Einerseits geht es diverse Kompromisse ein. Andererseits erlaubt es fähigen Programmierern aber auch, sehr interessante Typ-Beziehungen extrem präzise auszudrücken. Dieser Workshop erforscht fortgeschrittene Features des Typsystems, die selbst vielen erfahrenen TS-Nutzern ein Buch mit sieben Siegeln sind. Nach einer Rekontextualisierung von TypeScript-Grundlagen wie Structural Subtyping und Typinferenz geht es ans Eingemachte: sie lernen alles über Programmierung auf Typ-Ebene – von einfachen (und weniger

einfachen) Generics bis hin zu Features wie Mapped Types und Conditional Types. Am Ende sind Sie in der Lage, TypeScript-Typen aus Runtime-Objekten abzuleiten, komplexe Typen aus einfachen Typ-Lookup-Tabellen zu konstruieren und APIs dank Discriminated Unions präziser zu beschreiben als je zuvor.

Heben Sie ihre TS-Fähigkeiten mit fortgeschrittener Typ-Level-Programmierung auf die nächste Stufe!