TypeScript ist überraschend gut für Compiler

• Diskussion über den Bau von Compilern mit TypeScript, wobei dessen überraschende Eignung betont wird
• OCaml wurde historisch für sprachzentrierte Arbeiten wie formale Spezifikationen oder Hobbysprachen verwendet, während C++ für produktionsreife Implementierungen gewählt wurde
• Rust als neuerer Zugang kombiniert die Vorteile von ML und C++ und ergänzt eigene Funktionen wie sicheres Multithreading
• Aufgrund der als veraltet wahrgenommenen Seiten von OCaml empfiehlt der Autor TypeScript als praktische Alternative für Menschen, die hobbymäßig daran arbeiten
• Ausgehend von Deno zeigt der Autor, wie man in TypeScript einen kleinen Type Checker schreibt; Deno bietet als Runtime für TypeScript eine sofort nutzbare Erfahrung
• Hervorgehoben wird das flexible und zugleich leichtgewichtige Typsystem von TypeScript, und der Autor zeigt, wie sich in TypeScript ein Abstract Syntax Tree (AST) definieren lässt
• Der Autor zeigt mithilfe von TypeScript-Features, wie man Ausdrücke definiert, Laufzeit-Typinformationen verarbeitet und ähnliche Ausdrücke abstrahiert
• Anschließend wendet sich der Autor der Typinferenz zu und zeigt, wie man in TypeScript Typen definiert, Typen vergleicht und Typen herleitet
• Zum Schluss lobt der Autor die Produktivität von TypeScript wegen des effektiven Entwicklungs-Workflows von Deno, der hervorragenden Tools von TypeScript und der Stärke der Sprache sowohl zur Laufzeit als auch zur Compile-Zeit
• Der Autor schlägt vor, TypeScript künftig wahrscheinlich als Werkzeug für kleine Sprach-Hacks zu verwenden
• Abschließend zeigt der Autor, wie sich Desugaring in TypeScript typsicher ausdrücken lässt

[GN⁺]

Hacker-News-Kommentare

• TypeScript wird für die Kombination aus objektorientierter und funktionaler Programmierung gelobt, die flexibles Coding ermöglicht, ohne Klassen definieren zu müssen.
• Die Fähigkeit der Sprache, dass Funktionen Eigenschaften und Methoden haben können, wird als einzigartiges und wertvolles Merkmal hervorgehoben.
• TypeScript wird mit anderen Sprachen wie OCaml, C#, Swift, Dart und Kotlin verglichen, wobei das Fehlen von echtem Pattern Matching in TypeScript als wesentlicher Unterschied genannt wird.
• Einige Nutzer wünschen sich, dass TypeScript eine Rust-ähnliche Funktion für getaggte Enums enthält.
• Es gibt Diskussionen über die Geschwindigkeit des TypeScript-Compilers und Spekulationen darüber, wie er funktionieren würde, wenn er in einer kompilierten Sprache geschrieben wäre.
• Nutzer schlagen vor, mit einer Hilfsfunktion run das Visitor-Pattern durch einen Switch im IIFE-Stil zu vermeiden.
• Im Beitrag wird die Verwendung des Parser-Generator-Frontends Ohm-js und von mini-typescript erwähnt, was dabei hilft, zu verstehen, wie TypeScript funktioniert.
• Trotz des wahrgenommenen Overheads von Interfaces wird Überraschung über die Effizienz von TypeScript ausgedrückt.
• Es wird darauf hingewiesen, dass der TypeScript-Compiler in TypeScript selbst geschrieben ist, was seine Zuverlässigkeit und den intensiven Einsatz in der Produktion unterstreicht.
• Einige Nutzer warten in TypeScript auf eine Funktion für geschlossene Enums, um Vollständigkeitsprüfungen zur Compile-Zeit zu ermöglichen.
• Der Einfluss von Anders Hejlsberg, dem leitenden Architekten von TypeScript, wird als Grund für den Erfolg der Sprache anerkannt.