Elixir v1.20: क्रमिक प्रकार भाषा बनी
मूल शीर्षक: Elixir v1.20: Now a gradually typed language
यह क्यों महत्वपूर्ण है
प्रोग्रामिंग भाषाओं में क्रमिक टाइप सिस्टम का विकास महत्वपूर्ण तकनीकी प्रगति है।
Elixir v1.20 जारी हुआ, जो अब एक क्रमिक प्रकार भाषा है। José Valim ने घोषणा की कि यह संस्करण बिना प्रकार एनोटेशन के प्रकार अनुमान और जांच करता है। CNRS और Remote की साझेदारी से विकसित।
Elixir प्रोग्रामिंग भाषा के v1.20 संस्करण में set-theoretic प्रकार प्रणाली जोड़ी गई है। 2022 में शुरू की गई इस परियोजना का पहला मील का पत्थर पूरा हो गया है। यह प्रणाली बिना टाइप एनोटेशन के हर Elixir प्रोग्राम का प्रकार अनुमान और जांच करती है। José Valim के अनुसार, यह 'verified bugs' और मृत कोड की रिपोर्ट करती है - ऐसे टाइपिंग उल्लंघन जो रनटाइम पर निश्चित रूप से फेल होंगे। Elixir की प्रकार प्रणाली में dynamic() प्रकार शामिल है, जो अन्य भाषाओं के any() प्रकार से अलग है। यह compatibility और narrowing गुण रखता है। 'If T: Benchmark for Type Narrowing' में Elixir ने 13 में से 12 श्रेणियां पास कीं। CNRS और Remote की साझेदारी से विकसित यह प्रणाली वर्तमान में Fresha और Tidewave द्वारा प्रायोजित है।