TypeScript

Anders als die meisten Sprachen, die nach JavaScript kompilieren, ist TypeScript ein striktes Superset — jede gültige JavaScript-Datei ist bereits gültiges TypeScript. Microsoft veröffentlichte es im Oktober 2012, und seither hat es sich als Standardwahl für typisierte JavaScript-Entwicklung etabliert. Der Compiler ergänzt ein strukturell typisiertes Typsystem, das Typen zur Kompilierzeit auflöst und vor der JavaScript-Ausgabe vollständig entfernt — ohne jeglichen Laufzeit-Overhead.

TypeScript verfolgt den TC39-Spezifikationsprozess eng und liefert regelmässig Stage-3-ECMAScript-Proposals vor der Browser-Unterstützung aus. Der Compiler dient zugleich als Language Server: Dieselbe Analyse, die Typfehler erkennt, treibt auch Autovervollständigung, Refactoring und Go-to-Definition in VS Code, JetBrains und jedem LSP-fähigen Editor. Das aktuelle stabile Release ist TypeScript 5.9. Ein Rewrite des Compilers in Go ist als TypeScript 7 in aktiver Entwicklung und zielt auf rund 10-fach schnelleres Type-Checking.

Das offizielle Handbuch bleibt der beste Einstiegspunkt. Für ein tieferes Verständnis des Typsystems bietet das von der Community gepflegte Type-Challenges-Repository progressive Übungen von Anfänger- bis Expertenniveau.