-
JavaScript सबसे सक्रिय रूप से इस्तेमाल की जाने वाली programming language है, जिसके पास tc39 द्वारा maintained
ecma 262नामक language specification और उसके विविध implementations हैं. -
खास तौर पर E 262 की annual releases में specification की correctness और conformance की जांच के लिए automated mechanism की कमी के कारण समस्याएँ पैदा हुईं.
-
prose specification से mechanized specification को अपने-आप extract करने वाला एक नया approach प्रस्तावित किया गया है, जिससे conformance test program synthesis और type analysis जैसे कई applications संभव होते हैं.
-
extracted mechanized specification के जरिए special-purpose language implementation को automatically generate किया जा सकता है, और इसे JavaScript language development में वास्तविक उपयोग के लिए open source के रूप में जारी किया गया है.
-
programming language development के लिए एक promising approach यह है कि पहले mechanized specification के साथ language design की जाए, फिर उसके माध्यम से prose specification और language implementation दोनों generate किए जाएँ; यह JavaScript में feasible और practical साबित हुआ है.
-
इस काम का विस्तृत विवरण ACM के अप्रैल 2024 Communications में देखा जा सकता है, और यह एक ऐसी विधि प्रस्तुत करता है जिसे मौजूदा programming languages और नई programming languages दोनों पर लागू किया जा सकता है.
4 टिप्पणियां
ऐसी चीज़ों का परिचय कराने वाले लेखों में अक्सर मूल शोध-पत्र का लिंक जैसी जानकारी नहीं दी जाती, यह अफ़सोस की बात है.
कुछ मीडिया संस्थानों के विज्ञान-संबंधी लेखों में सबसे नीचे DOI दिया होता है ताकि उस लेख में परिचित कराए गए शोध-पत्र को खोजा जा सके; काश ऐसी परंपरा थोड़ा और व्यापक हो.
खैर, इसलिए ऊपर के लेख में जिन शोध-पत्र और Github लिंक की बात की गई है, उन्हें मैंने खुद ढूंढकर यहाँ लाया है.
अरे, मैं भी सिर्फ़ न्यूज़ ही लेकर आया था, लेकिन पेपर से जुड़ी जानकारी जोड़ने के लिए धन्यवाद!
eumaशायद एक टाइपो लग रहा है!नीचे संबंधित YouTube वीडियो है।
https://www.youtube.com/watch?v=JGxc-KIUnQY
ऊपर की सामग्री को Corely का उपयोग करके संक्षेपित किया गया है।
https://corely.ai/content/…