कंपाइलरों के लिए हैरान करने वाली हद तक ठीक-ठाक TypeScript

• TypeScript का उपयोग करके compiler बनाने पर चर्चा, और इसकी आश्चर्यजनक प्रभावशीलता पर ज़ोर
• ऐतिहासिक रूप से, OCaml का उपयोग आधिकारिक specifications या hobby language जैसी language-केंद्रित परियोजनाओं में हुआ, जबकि production-ready implementations के लिए C++ चुना जाता था
• Rust एक नया विकल्प है, जो ML और C++ के फ़ायदों को जोड़ता है और safe multithreading जैसी अपनी सुविधाएँ भी जोड़ता है
• लेखक, OCaml के कुछ पुराने लगने वाले पहलुओं के कारण, शौकिया तौर पर काम करने वालों के लिए TypeScript को एक व्यावहारिक विकल्प के रूप में सुझाते हैं
• लेखक Deno से शुरुआत करते हुए दिखाते हैं कि TypeScript में एक छोटा type checker कैसे लिखा जा सकता है; Deno TypeScript के लिए तुरंत उपयोग योग्य runtime अनुभव देता है
• TypeScript के flexible लेकिन lightweight type system पर ज़ोर दिया गया है, और लेखक दिखाते हैं कि TypeScript में Abstract Syntax Tree (AST) को कैसे define किया जा सकता है
• लेखक TypeScript की सुविधाओं का उपयोग करके दिखाते हैं कि expressions को कैसे define किया जाए, runtime type information को कैसे संभाला जाए, और समान expressions को कैसे abstract किया जाए
• इसके बाद लेखक type inference पर जाते हैं और दिखाते हैं कि TypeScript में types को कैसे define, compare और infer किया जा सकता है
• अंत में लेखक Deno के प्रभावी development workflow, TypeScript के बेहतरीन tools, और runtime तथा compile time दोनों में भाषा की ताकत के कारण TypeScript की productivity की प्रशंसा करते हैं
• लेखक सुझाव देते हैं कि भविष्य में छोटे language hacking के लिए वे TypeScript को एक tool के रूप में इस्तेमाल करने की काफी संभावना देखते हैं
• लेख का समापन इस बात को दिखाकर होता है कि TypeScript में type-safe तरीके से desugaring को कैसे व्यक्त किया जा सकता है

[GN⁺]

Hacker News राय

• TypeScript को object-oriented और functional programming के संयोजन के लिए सराहा जाता है, और यह class define किए बिना flexible coding को संभव बनाता है.
• भाषा में functions के पास properties और methods होने की क्षमता को एक अनोखी और मूल्यवान विशेषता के रूप में रेखांकित किया गया है.
• TypeScript की तुलना OCaml, C#, Swift, Dart, Kotlin जैसी अन्य भाषाओं से की जाती है, और TypeScript में वास्तविक pattern matching की कमी को एक मुख्य अंतर के रूप में बताया जाता है.
• कुछ उपयोगकर्ता चाहते हैं कि TypeScript में Rust जैसे tagged enum फीचर शामिल हों.
• TypeScript compiler की speed पर चर्चा और यह अनुमान मौजूद है कि अगर इसे किसी compiled language में लिखा गया होता तो यह कैसे काम करता.
• उपयोगकर्ता run utility function का उपयोग करके IIFE-style switch के ज़रिए visitor pattern से बचने का सुझाव देते हैं.
• पोस्ट में parser generator frontend Ohm-js और mini-typescript के उपयोग का उल्लेख है, जो TypeScript के काम करने के तरीके को समझने में मदद करता है.
• interfaces के कथित overhead के बावजूद TypeScript की efficiency पर आश्चर्य व्यक्त किया गया है.
• यह बताया गया है कि TypeScript compiler खुद TypeScript में लिखा गया है, जो इसकी reliability और production में इसके भारी उपयोग को रेखांकित करता है.
• कुछ उपयोगकर्ता TypeScript में compile-time exhaustiveness checks के लिए closed enum फीचर का इंतज़ार कर रहे हैं.
• TypeScript के प्रमुख architect Anders Hejlsberg के प्रभाव को भाषा की सफलता के कारणों में से एक माना गया है.