कंप्यूटर विज्ञान में क्या कारगर रहा: 1999 बनाम 2015 (2015)

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

लीगेसी और उद्योग-विशिष्ट भाषाएँ

  • कई महत्वपूर्ण सिस्टम “पुरानी” या niche तकनीक पर निर्भर हैं: Erlang (telecom), COBOL (banking), MATLAB/FORTRAN (scientific), MUMPS (healthcare)।
  • चर्चा यह पूछती है कि ऐसी भाषाएँ क्यों सफल होती हैं और जमी रहती हैं, उससे क्या सीखा जा सकता है।
  • एक दृष्टिकोण: भाषा का अपनाया जाना और उसका विकास बोली जाने वाली भाषाओं जैसा है—तकनीकी गुणों से अधिक सामाजिक और ऐतिहासिक शक्तियों द्वारा संचालित।

फैंसी टाइप सिस्टम और TypeScript

  • TypeScript की सराहना इस बात के लिए की जाती है कि उसने वेब प्रोग्रामिंग के बहुसंख्यक लोगों के लिए, खासकर formal CS पृष्ठभूमि के बिना वालों के लिए, “realized” strong typing को साकार किया।
  • कुछ लोग तर्क देते हैं कि इसी तरह के या उससे भी मजबूत type systems दशकों पहले मौजूद थे; TS की मुख्य उपलब्धि उन्हें सबसे बड़े practitioner base तक पहुँचाना है।
  • इस पर बहस कि Java/C#/Checker Framework की तुलना में TS कितना “fancy” है:
    • पक्ष में: structural types, unions, mapped types, rich inference, शक्तिशाली libraries (जैसे type-level SQL)।
    • विरोध में: यह Java/C# से बहुत कुछ उधार लेता है, इसका formal spec नहीं है, और कभी-कभी आश्चर्यजनक ढंग से व्यवहार कर सकता है।

Dynamic भाषाओं में Static Typing

  • Python और JavaScript में optional typing बढ़ रही है; tools और style guides इसे टीमों में लगभग अनिवार्य बना रहे हैं।
  • कुछ लोगों को डर है कि mandatory typing Python के उद्देश्य से विश्वासघात होगा, और वे fork या नई untyped भाषा की भविष्यवाणी करते हैं।
  • अन्य कहते हैं कि व्यवहार में “mandatory” होने पर भी escape hatches (Any, casts) मौजूद रहते हैं, जिससे यह पूरी तरह static languages जितना कष्टदायक नहीं होता।
  • Types को editor support, बड़े codebases में onboarding, और team coordination के लिए उपयोगी माना जाता है, भले ही इससे कुछ friction बढ़े।

RISC, CISC, और Instruction Sets

  • लेख के “RISC = No” पर मजबूत चर्चा हुई:
    • कई लोग अब ARM की mobile dominance और Apple के M-series को RISC के “Yes” या कम से कम “Maybe” का प्रमाण मानते हैं।
    • विरोधी बिंदु: असली विभाजन x86 बनाम non-x86 है; आधुनिक ARM और x86 दोनों काफी हद तक micro-op आधारित हैं और RISC/CISC रेखाओं को धुंधला करते हैं।
  • कुछ लोग ज़ोर देते हैं कि ARM की fixed-width instructions बहुत चौड़े, कुशल decode को संभव बनाती हैं, जो उच्च perf/W में योगदान देती हैं।
  • अन्य तर्क देते हैं कि RISC मूलतः तब महत्वपूर्ण था जब gate budgets तंग थे; आज हम complex ISAs और deep pipelines दोनों वहन कर सकते हैं।
  • RISC-V को मुख्यतः openness के कारण सफल माना गया है, न कि केवल “RISC-ness” के कारण, हालांकि छोटे RISC-V cores micro-ops का उपयोग भी नहीं करते।
  • चर्चा में ऐतिहासिक तुलना (R2000 बनाम 80386), pipeline बनाम clock speed, process nodes, और microcode शामिल हैं, लेकिन कोई एकमत नहीं बनता।

Capabilities और Security

  • “Capabilities” को capability-based security के रूप में स्पष्ट किया गया है (अजाली/अप्रत्यर्पणीय tokens जो विशिष्ट अधिकार देते हैं, जैसे file descriptors)।
  • Mobile app permission prompts loosely संबंधित हैं, लेकिन वे अधिकतर semi-static, identity-based permissions लागू करते हैं, पूर्ण capability systems नहीं।
  • Capabilities elegant मानी जाती हैं, लेकिन वास्तविक दुनिया की security के लिए अकेले आधार के रूप में शायद ही इस्तेमाल होती हैं; वे मुख्यतः sandboxes और low-level OS code में दिखाई देती हैं।

Functional Programming बनाम “Functional Style”

  • कई लोगों के लिए “pure FP” एक व्यावहारिक “No” है, लेकिन FP ideas (lambdas, pattern matching, sum types, higher-order APIs) तेजी से mainstream हो रही हैं।
  • दृष्टिकोण 1: Hybrid languages (Java/C#/JS with FP features) imperative/OO बने रहते हुए FP के अधिकांश लाभ दे देती हैं।
  • दृष्टिकोण 2: ये hybrids उपoptimal हैं; true FP के लिए केवल lambdas से अधिक चाहिए—जैसे expression orientation, immutability by default, persistent data structures, explicit effect management।
  • इस पर बहस जारी है कि FP को क्या परिभाषित करता है:
    • कुछ लोग कहते हैं कि first-class functions पर्याप्त हैं।
    • अन्य referential transparency और structured effect handling (monads या वैकल्पिक effect systems) जैसी मजबूत शर्तों पर ज़ोर देते हैं।
  • यह स्पष्ट किया गया कि “records” स्वयं inherently functional नहीं हैं; वे OOP से पहले के हैं और कई paradigms में मौजूद हैं।
  • “object-oriented” क्या बनाता है, इस पर अलग मोड़ भी आया, लेकिन सहमति नहीं बनी; Java में records को कुछ लोग anti-OO मानते हैं क्योंकि वे hidden state/behavior को कम करते हैं।

Parallelism, GPUs, और Rust

  • सवाल उठा कि क्या GPUs/TPUs लेख की classification के लिए parallelism माने जाएँ।
    • एक मत: वे “wizard in a box” मॉडल लागू करते हैं—विशेषज्ञों द्वारा लिखे गए parallel kernels, न कि general-purpose parallel programming।
    • दूसरा: लगभग सभी GUI/web apps अप्रत्यक्ष रूप से GPU parallelism का उपयोग करती हैं, और map-reduce तथा SIMD वह जगह हैं जहाँ parallelism वास्तव में काम करता है।
  • Rust को parallelism की तस्वीर बदलने वाला संभावित माध्यम बताया गया, क्योंकि इसका ownership/borrow system memory safety के ऊपर strong thread-safety guarantees देता है।

Neural Networks और बदलते मूल्यांकन

  • कुछ लोग सुझाव देते हैं कि NN status 2024 तक “Yes” होता, और 2014–2015 के आसपास प्रमुख deep learning papers का हवाला देते हैं।
  • अन्य ज़ोर देते हैं कि neural nets 1960 के दशक से कई hot phases से गुज़रे हैं; 2015 दशकों के prior work पर आधारित एक resurgence था।

मेटा: “What’s Worked” को 2024 के लिए अपडेट करना

  • कई commenters एक updated table चाहते हैं:
    • RISC 2015 में “No” से कम से कम “Maybe” की ओर गया।
    • Fancy type systems अधिक प्रमुख हो गए हैं (Rust, advanced TS), और संभवतः “No” से “Maybe/Yes” की ओर बढ़े हैं।
    • Functional ideas अब कई mainstream languages में “expected” features हैं।
  • सामान्य सावधानी यह है कि कोई भी yes/maybe/no classification जल्दी पुरानी हो जाती है और उसे शाश्वत सत्य नहीं मानना चाहिए।