Kapitel 3. Typeninferenz und Kontrollflussanalyse
Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: translation-feedback@oreilly.com
Für Programmiersprachen, die in der Industrie verwendet werden, sind "statisch typisiert" und "explizit typisiert" traditionell gleichbedeutend. C, C++, Java: Sie alle zwangen dich, deine Typen aufzuschreiben. Aber in akademischen Sprachen wurden diese beiden Dinge nie miteinander vermengt: Sprachen wie ML und Haskell verfügen schon lange über ausgefeilte Systeme zur Typisierung, und das hat sich auch in den Industriesprachen durchgesetzt. C++ hat auto hinzugefügt, und Java var. Neuere Sprachen wie Rust und Swift verfügen von Anfang an über Typinferenz.
TypeScript macht ausgiebig Gebrauch von der Typinferenz. Richtig eingesetzt, kann dies die Anzahl der Typ-Annotationen, die dein Code benötigt, um volle Typsicherheit zu erreichen, drastisch reduzieren. Einer der einfachsten Wege, einen TypeScript-Anfänger von einem erfahrenen Entwickler zu unterscheiden, ist die Anzahl der Typ-Annotationen. Ein erfahrener TypeScript-Entwickler wird relativ wenige Annotationen verwenden (die er aber sehr effektiv einsetzt), während ein Anfänger seinen Code in überflüssigen Typ-Annotationen ertränken kann.
In den meisten Sprachen hat eine Variable einen Typ und dieser ändert sich nie. TypeScript ist ein bisschen anders. Eine Variable hat einen Typ an einer Stelle in deinem Code. Der Prozess, durch den sich ihr Typ ...
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.
