मेटा-सर्कुलर मूल्यांकनकर्ता
कम्प्यूटिंग में, एक मेटा-सर्कुलर मूल्यांकनकर्ता (एमसीई) या मेटा-सर्कुलर दुभाषिया (एमसीआई) एक दुभाषिया (कंप्यूटिंग) है जो दुभाषिया की होस्ट भाषा की समान सुविधा का उपयोग करके व्याख्या की गई भाषा की प्रत्येक विशेषता को परिभाषित करता है। उदाहरण के लिए, लैम्ब्डा एप्लिकेशन की व्याख्या फ़ंक्शन एप्लिकेशन का उपयोग करके प्रयुक्त की जा सकती है।[1] लिस्प (प्रोग्रामिंग भाषा) के संदर्भ में मेटा-सर्कुलर मूल्यांकन सबसे प्रमुख है।[1] स्व-दुभाषिया मेटा-सर्कुलर दुभाषिया है जहां व्याख्या की गई भाषा लगभग होस्ट भाषा के समान होती है; दो शब्दों को अधिकांशतः समानार्थक रूप से प्रयोग किया जाता है।[2]
इतिहास
कोराडो बोहम का शोध प्रबंध[3] स्व-होस्टिंग (संकलक)कंपाइलर सेल्फ-होस्टिंग कंपाइलर के डिजाइन का वर्णन करता है।
[4] उच्च-क्रम के कार्यों को संकलित करने में कठिनाई के कारण, इसके अतिरिक्त कई भाषाओं को दुभाषियों के माध्यम से परिभाषित किया गया, सबसे प्रमुख रूप से लिस्प।[1][5] यह शब्द स्वयं जॉन सी. रेनॉल्ड्स द्वारा गढ़ा गया था,[1] और कंप्यूटर प्रोग्राम की संरचना और व्याख्या पुस्तक में इसके उपयोग के माध्यम से लोकप्रिय हुआ।[2][6]
स्व-दुभाषिया
स्व-दुभाषिया एक मेटा-परिपत्र दुभाषिया है जहां होस्ट भाषा भी व्याख्या की जा रही भाषा है।[7] स्व-दुभाषिया विचाराधीन भाषा के लिए एक यूटीएम प्रमेय प्रदर्शित करता है, और भाषा के कुछ पहलुओं को सीखने में सहायक हो सकता है।[8] स्व-दुभाषिया अधिकांश भाषा निर्माणों की एक परिपत्र, रिक्त परिभाषा प्रदान करेगा और इस प्रकार व्याख्या की गई भाषा के शब्दार्थों में थोड़ी अंतर्दृष्टि प्रदान करेगा, उदाहरण के लिए मूल्यांकन रणनीति। इन उद्देश्य को संबोधित करने से एक निश्चित दुभाषिया की अधिक सामान्य धारणा उत्पन्न होती है।[1]
कुल प्रोग्रामिंग भाषाओं में स्व-व्याख्या
कुल कार्यात्मक प्रोग्रामिंग भाषाएं जो दृढ़ता से सामान्यीकरण कर रही हैं, ट्यूरिंग पूर्ण नहीं हो सकती हैं, अन्यथा प्रोग्राम टाइप-चेक करता है या नहीं, यह देखकर हॉल्टिंग समस्या को हल किया जा सकता है। इसका मतलब है कि ऐसे संगणनीय कार्य हैं जिन्हें कुल भाषा में परिभाषित नहीं किया जा सकता है।[9] विशेष रूप से कुल प्रोग्रामिंग भाषा में एक स्व-दुभाषिया को परिभाषित करना असंभव है, उदाहरण के लिए किसी भी टाइप किए गए लैम्ब्डा कैलकुलस में जैसे कि सरल रूप से टाइप किए गए लैम्ब्डा कैलकुलस, जीन-यवेस गिरार्ड के प्रणाली एफ,या थिएरी कोक्वांड के निर्माण के कैलकुलस है।[10][11] जहाँ, स्व-दुभाषिया से हमारा तात्पर्य ऐसे कार्यक्रम से है जो किसी सादे प्रारूप (जैसे वर्णों की स्ट्रिंग) में स्रोत शब्द का प्रतिनिधित्व करता है और संबंधित सामान्यीकृत शब्द का प्रतिनिधित्व करता है। यह असंभव परिणाम स्व-दुभाषिया की अन्य परिभाषाओं पर प्रयुक्त नहीं होता है।
उदाहरण के लिए, कुछ लेखकों ने प्रकार्यों का उल्लेख किया है स्व-दुभाषियों के रूप में, जहां का प्रतिनिधित्व प्रकार है टाइप किए गए शब्द। भ्रम से बचने के लिए, हम इन कार्यों को स्व-पहचानकर्ता के रूप में संदर्भित करेंगे।
ब्राउन और पाल्सबर्ग ने दिखाया कि स्व-पहचानकर्ताओं को प्रणाली एफ और सहित कई दृढ़ता से सामान्य करने वाली भाषाओं में परिभाषित किया जा सकता है।[12]
यह संभव हो गया क्योंकि एन्कोडेड शर्तों के प्रकार उनके प्रतिनिधित्व के प्रकारों में परिलक्षित होते हैं, एक विकर्ण लेम्मा का निर्माण करने से रोकता है।
अपने पेपर में, ब्राउन और पाल्सबर्ग पारंपरिक ज्ञान का खंडन करने का प्रमाणित करते हैं कि आत्म-व्याख्या असंभव है (और वे विकिपीडिया को पारंपरिक ज्ञान के उदाहरण के रूप में संदर्भित करते हैं), लेकिन वे वास्तव में जो अस्वीकार करते हैं वह आत्म-पहचानकर्ताओं की असंभवता है, एक अलग अवधारणा अपने अनुवर्ती कार्य में, वे वहा उपयोग की जाने वाली अधिक विशिष्ट स्व-पहचानकर्ता शब्दावली पर स्विच करते हैं, विशेष रूप से इन्हें स्व-मूल्यांकनकर्ताओं से अलग करते हैं, प्रकार .[13]
वे यह भी मानते हैं कि आत्म-मूल्यांकन को प्रयुक्त करना आत्म-मान्यता की तुलना में कठिन लगता है, और पूर्व के कार्यान्वयन को एक खुली समस्या के रूप में दृढ़ता से सामान्यीकृत भाषा में छोड़ देते हैं।
उपयोग
एक वर्तमान भाषा कार्यान्वयन के संयोजन में, मेटा-सर्कुलर दुभाषिए एक आधारभूत प्रणाली प्रदान करते हैं जिससे किसी भाषा का विस्तार किया जा सकता है, या तो अधिक सुविधाओं को जोड़कर ऊपर की ओर या उनकी व्याख्या करने के अतिरिक्त सुविधाओं को संकलित करके नीचे की ओर।[14] वे उपकरण लिखने के लिए भी उपयोगी होते हैं जो प्रोग्रामिंग भाषा के साथ कसकर एकीकृत होते हैं, जैसे परिष्कृत डिबगर्स। एक मेटा-सर्कुलर कार्यान्वयन को ध्यान में रखते हुए डिज़ाइन की गई भाषा अधिकांशतः सामान्य रूप से भाषाओं के निर्माण के लिए अधिक अनुकूल होती है, यहां तक कि होस्ट भाषा से पूरी तरह से अलग होती है
उदाहरण
कई भाषाओं में एक या अधिक मेटा-सर्कुलर कार्यान्वयन होते हैं। यहाँ नीचे आंशिक सूची है।
समूहीकृत कालानुक्रमिक क्रम में नीचे से ऊपर की ओर डिज़ाइन किए गए मेटा-परिपत्र कार्यान्वयन वाली कुछ भाषाएँ:
- लिस्प (प्रोग्रामिंग भाषा), 1958
- योजना (प्रोग्रामिंग भाषा), 1975
- पिको (प्रोग्रामिंग भाषा), 1997[15]
- अभिनेतास्क्रिप्ट, 2009?
- क्लोजर, 2007
- योजना (प्रोग्रामिंग भाषा), 1975
फोर्थ (प्रोग्रामिंग भाषा), 1968
- प्रोलॉग, 1972
- टेक्स, वर्जिन टेक्स, 1978 पर आधारित है
- स्मॉलटॉक, 1980
- रिबोल, 1997
- लाल (प्रोग्रामिंग भाषा), 2011
- फैक्टर (प्रोग्रामिंग भाषा), 2003
तृतीय पक्षों के माध्यम से मेटा-सर्कुलर कार्यान्वयन वाली कुछ भाषाएँ:
- जावा (प्रोग्रामिंग भाषा) जैक्स आरवीएम, स्क्वॉक वर्चुअल मशीन, मैक्सिन वर्चुअल मशीन या ग्रेल वीएम एस्प्रेसो के माध्यम से
- स्काला (प्रोग्रामिंग भाषा) मेटास्काला के माध्यम से
- नार्सिसस के माध्यम से जावास्क्रिप्ट या जेएस-दुभाषिया
- ओज़ (प्रोग्रामिंग भाषा) ग्लिंडा के माध्यम से
- पायथन (प्रोग्रामिंग भाषा) पाई पाई के माध्यम से
- रूबी (प्रोग्रामिंग भाषा) रुबिनियस के माध्यम से
- लुआ (प्रोग्रामिंग भाषा) धातु के माध्यम से
यह भी देखें
- एम-अभिव्यक्ति
- समजातीयता
- सेल्फ-होस्टिंग (कंपाइलर) सेल्फ-होस्टिंग कंपाइलर
संदर्भ
- ↑ 1.0 1.1 1.2 1.3 1.4 Reynolds, John C. (August 1972). "Definitional Interpreters for Higher-Order Programming Languages" (PDF). Higher-Order and Symbolic Computation. 11 (4): 363–397. doi:10.1023/A:1010027404223. S2CID 43352033. Archived from the original (PDF) on 9 August 2017. Retrieved 14 April 2017.
- ↑ 2.0 2.1 "The Metacircular Evaluator". Structure and Interpretation of Computer Programs. MIT.
- ↑ C. Böhm, Calculatrices digitales. Du déchiffrage des formules logico-mathématiques par la machine même dans la conception du programme, Ann. Mat. Pura Appl. (4) 37 (1954) 1-51
- ↑ Knuth, Donald E.; Pardo, Luis Trabb (August 1976). The early development of programming languages. p. 36.
- ↑ McCarthy, John (1961). "A Universal LISP Function" (PDF). Lisp 1.5 Programmer's Manual. p. 10.
- ↑ Harvey, Brian. "Why Structure and Interpretation of Computer Programs matters". people.eecs.berkeley.edu. Retrieved 14 April 2017.
- ↑ Braithwaite, Reginald (2006-11-22). "The significance of the meta-circular interpreter". Retrieved 2011-01-22.
- ↑ Reynolds, John C. (1998). "Definitional Interpreters Revisited" (PDF). Higher-Order and Symbolic Computation. 11 (4): 356–7. doi:10.1023/A:1010075320153. S2CID 34126862. Retrieved 14 April 2017.
- ↑ Riolo, Rick; Worzel, William P.; Kotanchek, Mark (4 June 2015). Genetic Programming Theory and Practice XII (in English). Springer. p. 59. ISBN 978-3-319-16030-6. Retrieved 8 September 2021.
- ↑ Conor McBride (May 2003), "on termination" (posted to the Haskell-Cafe mailing list).
- ↑ Andrej Bauer (June 2014), Answer to: A total language that only a Turing complete language can interpret (posted to the Theoretical Computer Science StackExchange site)
- ↑ Brown, Matt; Palsberg, Jens (11 January 2016). "Breaking through the normalization barrier: a self-interpreter for f-omega" (PDF). Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: 5–17. doi:10.1145/2837614.2837623. ISBN 9781450335492. S2CID 14781370.
- ↑ Brown, Matt; Palsberg, Jens (January 2017). "Typed self-evaluation via intensional type functions". Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages: 415–428. doi:10.1145/3009837.3009853. ISBN 9781450346603.
- ↑ Oriol, Manuel; Meyer, Bertrand (2009-06-29). Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings (in English). Springer Science & Business Media. p. 330. ISBN 9783642025716. Retrieved 14 April 2017.
- ↑ Meta-circular implementation of the Pico programming language
बाहरी संबंध
- Structure and Interpretation of Computer Programs (SICP), online version of full book, accessed 2009-01-18.
- Metascala
