TypeScript 7

मूल लेख ↗ Hacker News चर्चा ↗

Go पोर्ट और प्रदर्शन में लाभ

  • मुख्य कहानी: TypeScript 7 का Go-आधारित compiler बहुत बड़े type-checking speedups देता है (अक्सर ~8–12x), और memory भी कम लगती है, खासकर बड़े codebases (जैसे VS Code, Sentry) पर।
  • कई लोगों को यह देखकर आश्चर्य हुआ कि rustc की तुलना में tsc की धीमी गति पर HN शिकायतें कम थीं, जबकि व्यवहार में tsc अक्सर और खराब महसूस होता है।
  • कुछ का तर्क है कि Rust शायद Go से थोड़ा तेज़ हो सकता है, लेकिन Go port से मिलने वाले लाभ पहले से ही “काफी अच्छे” हैं, और Rust rewrite में ज़्यादा समय लगेगा तथा यह संरचनात्मक रूप से कठिन होगा (circular data structures, borrow checker)।
  • अन्य लोग तेज़ विकास, स्थिर performance evolution, और JS/TS से आसान 1:1 translation के लिए Go के लाभों को रेखांकित करते हैं।

Compiler Architecture, APIs, and WASM

  • पोर्ट को जानबूझकर bug-for-bug, file-for-file translation बनाया गया था, redesign नहीं, ताकि behavior बना रहे।
  • 7.0 में stable compiler API का अभाव एक बड़ा दर्द-बिंदु है; कई tools (frameworks, ESLint, ts-jest, आदि) TS 6 पर अटके हुए हैं जब तक 7.1 और आगे की APIs नहीं आ जातीं।
  • WASM builds की योजना है, लेकिन पूरी तरह स्पष्ट नहीं है; अलग-अलग समूह अलग चीज़ें चाहते हैं:
    • browser में LSP/Monaco
    • browser में Compiler API
    • WASM-only platforms को target करने वाले CLI binaries

Ecosystem Impact and Tooling

  • कुछ लोग पहले से ही बड़े practical wins देखते हैं (तेज़ pre-commit checks, अधिक responsive editors), जबकि दूसरों को “सिर्फ” 3–4x speedups मिले हैं लेकिन वे फिर भी खुश हैं।
  • Deno और विभिन्न build/test tools जैसे environments को TS7 को सावधानी से integrate करना होगा क्योंकि वे compiler में non-trivial तरीकों से plug होते हैं।
  • Linting/tooling (खासकर ESLint) upgrade के लिए अभी भी bottleneck बना हुआ है।

Static Typing Debate

  • बड़े subthread में static vs dynamic typing पर फिर से चर्चा होती है:
    • Pro-TS: types maintainability, refactoring, onboarding, IDE support, और AI agents के लिए crucial हैं; TS ने JS जगत में sophisticated type systems को सामान्य बनाने में मदद की।
    • Skeptical/anti-TS: dynamic या gradually typed भाषाएँ (Python, Ruby, JS + JSDoc/Zod) और tests पर्याप्त हो सकते हैं, खासकर small teams, prototypes, या “vibe coding” के लिए।
    • कुछ का तर्क है कि पहले के static type systems (Java/C-style) clumsy थे; inference, unions/sum types, और pattern matching वाले modern systems tradeoffs बदल देते हैं।
    • यह असहमति बनी रहती है कि untyped या dynamically typed approaches बड़े systems के लिए “serious” हैं या नहीं।

Language Choices and AI / “Agentic” Era

  • कुछ लोग AI/agentic tooling के लिए Go को अच्छा fit मानते हैं; अन्य तर्क देते हैं कि मजबूत static typing (जैसे TS, Rust) machine-generated code के लिए और भी अधिक valuable है।
  • richer type-level programming (HKTs, complex type tricks) और performance budget के बीच तनाव है; तेज़ compilers developers को अधिक expensive type patterns इस्तेमाल करने के लिए प्रेरित करते हैं।