Elixir, क्रमिक टाइप सिस्टम को अपनाने वाली भाषा के रूप में विकसित

 (twitter.com/josevalim)
1 पॉइंट द्वारा GN⁺ 2024-01-09 | 1 टिप्पणियां | WhatsApp पर शेयर करें
  • Elixir ने अपने पहले commit के 13 साल पूरे होने पर आधिकारिक रूप से gradual typing language में बदलाव की घोषणा की
  • फिलहाल bitstring के लिए type inference और type checking किया जा रहा है, और सभी types का समर्थन है (हालांकि types के बीच sub-typing अभी समर्थित नहीं है)
  • पहला milestone patterns और guards के लिए inference करना है
  • यह inference भाषा या मौजूदा codebase को बदले बिना bugs पकड़ने के तरीके से काम करता है
  • Elixir v1.17 तक सभी patterns और guards के inference को पूरा करना लक्ष्य है

gradual typing language में बदलाव की घोषणा

  • Elixir repository के पहले commit के 13 साल पूरे होने के मौके पर, Elixir ने आधिकारिक रूप से खुद को gradual typing language घोषित किया
  • मौजूदा समय में type checking implementation का दायरा
    • bitstring के लिए type inference और type checking
    • सभी types का पहले से समर्थन, लेकिन types के अंदर sub-typing का समर्थन नहीं

आगे के लक्ष्य और पहला milestone

  • Elixir v1.17 तक सभी patterns और guards के inference को पूरा करना लक्ष्य है
  • पहला milestone patterns और guards पर inference करना है
    • भाषा या उपयोगकर्ता के codebase को बदले बिना code में bugs पकड़ने का तरीका
    • इस पहले कदम को सभी के लिए win-win बनाने का उद्देश्य

संबंधित पढ़ाई

1 टिप्पणियां

 
GN⁺ 2024-01-09
Hacker News राय

  • Jose के लिए आभार

    • Jose को Elixir और कम्युनिटी के लिए उनके प्रयासों के लिए धन्यवाद दिया गया।
    • भाषा और कम्युनिटी के प्रति उनकी सावधानी और विशेषज्ञता की बहुत सराहना की गई।
    • Jose की स्थिरता और मेहनत का यह एक शानदार उदाहरण बताया गया, और ऐसे व्यक्ति के प्रति आभार जताया गया जिसने रोज़मर्रा की खुशी पर बड़ा प्रभाव डाला।

  • gradual type language में रुचि

    • gradual typing वाली भाषाओं के प्रति लगाव है, लेकिन यहाँ जानकारी कम है।
    • 2022 की शुरुआत में प्रकाशित एक paper का लिंक साझा किया गया और इस type system के बारे में अधिक जानकारी खोजी जा रही है।

  • Elixir में type की कमी पर राय

    • Elixir में type न होना कुछ लोगों के लिए एक नकारात्मक बिंदु था।
    • जब भाषा लगभग परिपक्व हो चुकी हो, तब type जोड़ना बिल्कुल सही समय माना गया।
    • dynamic language की philosophy के खिलाफ महसूस होने के कारण Ruby में Sorbet को लेकर पूरा भरोसा नहीं था, लेकिन safety बढ़ाने के अतिरिक्त साधन के रूप में इसे पसंद किया गया।
    • इस बात पर भरोसा जताया गया कि Elixir में type system सही तरीके से लागू किया जाएगा।

  • Jose Valim और Anders Hejlsberg पर भरोसा

    • उद्योग में type system को सही ढंग से लागू कर सकने वाले बहुत कम लोगों में Jose Valim को एक माना गया।
    • Anders Hejlsberg को भी type system implementation के मामले में भरोसेमंद व्यक्ति बताया गया।

  • Elixir में type system जुड़ने पर प्रतिक्रिया

    • हाल ही में कंपनी बदलकर Elixir का उपयोग शुरू किया गया, और TypeScript में मिले type language के फ़ायदों की बहुत कमी महसूस हुई।
    • प्रोजेक्ट में कहीं से भी data model तक पहुँच पाना Elixir का एक बड़ा फ़ायदा बताया गया।
    • पहले से ही शानदार Elixir के और बेहतर होने पर बहुत खुशी जताई गई, और इस काम में शामिल टीम को बधाई दी गई।

  • type system का महत्व

    • Phoenix और पहले के RoR(Ruby on Rails) ने उच्च उत्पादकता साबित की, लेकिन type और runtime error की समस्याओं के कारण आसानी से दिक्कतें आ सकती थीं।
    • type, कई runtime error को build-time error में बदल देता है, जिससे भरोसेमंद software development में बड़ा लाभ मिलता है।

  • PHP में gradual type अपनाने से सीखने योग्य बातें

    • PHP में gradual type adoption को बहुत व्यावहारिक माना गया, और उम्मीद जताई गई कि इससे कुछ सीखा जा सकता है।

  • Ruby developers के Elixir की ओर जाने पर राय

    • इच्छा जताई गई कि Ruby में ऐसा प्रयास built-in होता, और कहा गया कि अब कई Ruby developers Elixir का उपयोग कर रहे हैं।
    • यह भी कहा गया कि Elixir एक अद्भुत भाषा के रूप में विकसित हो रही है।

  • Elixir team और Jose का type system लाने का तरीका

    • Elixir team और खासकर Jose की talks देखने की सलाह दी गई।
    • कहा गया कि वे type system लाने में बहुत सावधानी और बारीकी से आगे बढ़ रहे हैं, और एक अच्छा type system लाने की कोशिश कर रहे हैं।