Kapitel 6. Generics und Programmierung auf Typenebene
Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: translation-feedback@oreilly.com
Das Typsystem von TypeScript wurde entwickelt, um das Laufzeitverhalten von JavaScript-Code zu modellieren. Weil JavaScript so dynamisch und freizügig ist, hat das Typsystem von TypeScript immer leistungsfähigere Funktionen entwickelt. Wie in Punkt 15 erläutert, gehört dazu auch die Logik für die Zuordnung zwischen Typen.
Wenn du generische Typ-Aliase hinzufügst, wird das Typsystem von TypeScript so mächtig, dass du es als eigenständige Programmiersprache betrachten kannst. (TypeScripts Typsystem ist Turing-komplett, das heißt, es ist im formalen Sinne wahr). Anstatt mit Werten zu programmieren, wie du es in JavaScript tust, programmierst du jetzt mit Typen. Mit anderen Worten: Programmierung auf Typenebene. Dies unterscheidet sich von der Metaprogrammierung (dem Schreiben von Programmen, die auf Programmen operieren), obwohl die beiden Begriffe manchmal miteinander vermischt werden.
Neue Sprachen zu lernen macht Spaß, und du kannst alle möglichen wilden Anwendungen finden, die mit dem TypeScript-Typsystem gebaut wurden, von Spielen bis hin zu SQL-Parsern. Dies wurde zum Teil durch das Type Challenges-Projekt vorangetrieben, das Hunderte von immer schwierigeren Rätseln enthält, die im Typsystem zu lösen sind. Wenn du diese Rätsel während des Lesens dieses Kapitels löst, kannst du das Gelernte ...
Get Effektives TypeScript, 2. Auflage now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
