J operator
कंप्यूटर विज्ञान में, पीटर लैंडिन का जे ऑपरेटर एक प्रोग्रामिंग निर्माण है जो वर्तमान लैम्ब्डा-संदर्भ की निरंतरता के साथ एक लैम्ब्डा अभिव्यक्ति की रचना करता है। परिणामी "फलन" प्रथम श्रेणी का होता है और इसे बाद के कार्यों में पारित किया जा सकता है, जहां यदि इसे लागू किया जाता है तो यह अपने परिणाम को उस फलन की निरंतरता में वापस कर देगा जिसमें इसे बनाया गया था। इतिहास जे प्रचालक को लेबल बनाने और प्रथम श्रेणी मूल्य बढ़ाने के लिए बनाया गया था। इसे एस. ई. सी. डी. मशीन के साथ निम्नलिखित अतिरिक्त परिवर्तनों के साथ काम करने के लिए डिज़ाइन किया गया थाः {। वर्ग = "विकिटेबल"। +! संक्रमण! से।-|J |J: f: S, E, ap: C, D |closure (f, D): S, E, C, D।-|Closure |closure (f, (S ', E', C ', D')): x: S, E, ap: C, D|f: x: S ', E', ap: C ', D'। जे ऑपरेटर ने मूल रूप से एक "प्रोग्राम क्लोजर" बनाया था, जिसमें बॉडी नामक एक कार्य शामिल था और एक कार्यक्रम समापन निरंतरता रूप में डंप के साथ अपने शरीर की रचना करने के बराबर है (समापन (एफ, डी) (एक्स) = डी (एफ (एक्स)))। सरलीकृत विवरण जे ऑपरेटर कॉलिंग फ़ंक्शन की निरंतरता के साथ एक फ़ंक्शन की रचना करता है। अर्थात्, जे प्रचालक एक फलन लौटाता है, जो जब लागू होता है तो जे प्रचालक के तर्क को फलन के तर्क के साथ लागू करता है, और फिर उस फलन को उस मूल्य को वापस करने के लिए मजबूर करता है जिसे जे प्रचालक कहा जाता है। उदाहरण जे (λx. x) प्रथम श्रेणी रिटर्न स्टेटमेंट के बराबर है। ऐसा इसलिए है क्योंकि λx. x पहचान फलन है, इसलिए जब इसे लागू किया जाता है तो यह दिए गए मूल्य के लिए कुछ नहीं करेगा और इसे सीधे away.λv.J (λx. x) लौटाता है जो शुरू में λx. x "का J लौटाता है, लेकिन इसका उपयोग आसपास की अभिव्यक्ति में किया जा सकता है ताकि इसे एक अलग मूल्य फिर से वापस किया जा सके। लैंडिन लैंडिन, पी. जे. द्वारा कॉल-विद-करंट-कंटिन्यूएशन संदर्भ, "ए फॉर्मल डिस्क्रिप्शन ऑफ अल्गोल 60". आई. एफ. आई. पी. वर्किंग कॉन्फ़., बाडेन, सितंबर 1964 में प्रस्तुत भी देखें। लैंडिन, पी. जे., "एल्म्पेरेटिव्स के बिना प्रोग्रामिंग-एक उदाहरण", यूनिवैक एस. पी. शोध रिपोर्ट (मार्च, 1965) लैंडिन, पी. जे., "लेबलों से छुटकारा", यूनिवैक एस. पी. अनुसंधान रिपोर्ट (जुलाई, 1965) लैंडिन, पी. जे., "एन एनालिसिस ऑफ असाइनमेंट इन प्रोग्रामिंग लैंग्वेजेज", UNIVAC S. P. अनुसंधान रिपोर्ट (सितंबर, 1965) लैंडिन, पी. जे., "ए जनरलाइजेशन ऑफ जम्प्स एंड लेबल्स", math.bas.bg (1998) कंप्यूटिंग में दूसरों द्वारा 1965 नियंत्रण प्रवाह निरंतरता प्रोग्रामिंग भाषा शब्दार्थ