सीमांकित निरंतरता: Difference between revisions

Revision as of 13:00, 18 July 2023

प्रोग्रामिंग लैंग्वेजेज में, एक सीमांकित निरंतरता, रचना योग्य निरंतरता या आंशिक निरंतरता, एक स्टैक फ़्रेम का एक टुकड़ा है जिसे एक फ़ंक्शन में पुन: एकीकृत किया गया है। नियमित निरंतरता के विपरीत, सीमांकित निरंतरता एक मान लौटाती है, और इस प्रकार इसका पुन: उपयोग और रचना की जा सकती है। नियंत्रण सीमांकक, सीमांकित निरंतरता का आधार, 1988 में मैथ्यू फेलिसेन द्वारा पेश किया गया था^[1] हालाँकि रचना योग्य और सीमांकित निरंतरता के प्रारंभिक संकेत कैरोलिन टैल्कॉट के स्टैनफोर्ड 1984 शोध प्रबंध, फेलिसेन और अन्य में पाए जा सकते हैं।^[2] फेलिसेन का 1987 का शोध प्रबंध,^[3] और कार्यात्मक बैक ट्रैकिंग के लिए एल्गोरिदम, उदाहरण के लिए, पैटर्न मिलान के लिए, पार्सिंग के लिए, बीजगणितीय तर्क कार्यात्मक प्रोग्रामिंग लैंग्वेज में, और प्रोलॉग की कार्यात्मक कार्यान्वयन में जहां विफलता निरंतरता को अक्सर अंतर्निहित रखा जाता है और सफलता निरंतरता के लिए होने का कारण है कि यह रचना योग्य है।

इतिहास

सीमांकित निरंतरताओं को पहली बार 1988 में फेलिसेन द्वारा एक ऑपरेटर के साथ प्रस्तुत किया गया था,^[1] ${\mathcal {F}}$ पहली बार 1987 में एक तकनीकी रिपोर्ट में पेश किया गया था,^[2] एक त्वरित निर्माण के साथ $\#$ ऑपरेटर को उन नियंत्रण ऑपरेटरों के सामान्यीकरण के लिए डिज़ाइन किया गया था जिनका वर्णन साहित्य में किया गया था जैसे स्कीम से call/cc, ISWIM के J ऑपरेटर, जॉन सी. रेनॉल्ड्स' escape ऑपरेटर, और अन्य है। इसके बाद, प्रोग्रामिंग भाषाओं के अनुसंधान समुदाय द्वारा कई प्रतिस्पर्धी सीमांकित नियंत्रण ऑपरेटरों का आविष्कार किया गया prompt और control,^[4] shift और reset,^[5]^[6]cupto,^[7] fcontrol, और दूसरे अन्य है।

उदाहरण

शोध साहित्य में सीमांकित निरंतरता के लिए विभिन्न ऑपरेटरों का प्रस्ताव किया गया है।^[8]

एक स्वतंत्र प्रस्ताव^[5]निरंतरता-पासिंग शैली (सीपीएस) पर आधारित है - अर्थात, निरंतरता फ़्रेम पर नहीं - और दो नियंत्रण ऑपरेटर प्रदान करता है, shift और reset, जो गतिशील सीमांकित निरंतरताओं के बजाय स्थैतिक को जन्म देता है।^[9]

रीसेटऑपरेटर निरंतरता के लिए सीमा निर्धारित करता है जबकि shift ऑपरेटर वर्तमान निरंतरता को अंतरतम परिक्षेत्र तक पकड़ता है या उसका पुनरीक्षण करता है reset. उदाहरण के लिए, निम्नलिखित स्निपेट पर विचार करें:

(* 2 (reset (+ 1 (shift k (k 5)))))

रीसेटउस निरंतरता का परिसीमन करता है जोशिफ्ट कैप्चर करता है। जब यह स्निपेट निष्पादित किया जाता है, तो इसका उपयोग होता है तोशिफ्ट का उपयोग k को निरंतरता (+ 1 [])  से बांध देगा जहां [] गणना के उस हिस्से का प्रतिनिधित्व करता है जिसे एक मूल्य से भरा जाना है। यह निरंतरता सीधे उस कोड से मेल खाती है जो रीसेट तक शिफ्ट को घेरता है। क्योंकि शिफ्ट का मुख्य भाग (यानी, (k 5)) तुरंत निरंतरता का आह्वान करता है, यह कोड निम्नलिखित के बराबर है:

(* 2 (+ 1 5))

सामान्य तौर पर, ये ऑपरेटर अधिक दिलचस्प व्यवहार को एनकोड कर सकते हैं, उदाहरण के लिए, कैप्चर की गई निरंतरता k को एक मान के रूप में वापस करना या k को कई बार लागू करना है। शिफ्ट ऑपरेटर कैप्चर की गई निरंतरता को पास करता है k इसके मुख्य भाग में कोड के लिए, जो या तो इसे लागू कर सकता है, इसके परिणामस्वरूप इसे उत्पन्न कर सकता है, या इसे पूरी तरह से अनदेखा कर सकता है। जो भी परिणाम शिफ्ट उत्पन्न करता है वह रीसेट और शिफ्ट के बीच की निरंतरता को छोड़कर, अंतरतम रीसेट को प्रदान किया जाता है। हालाँकि, यदि निरंतरता लागू की जाती है, तो यह रीसेट पर लौटने के बाद निरंतरता को प्रभावी ढंग से पुनः स्थापित करता है। जब रीसेट के भीतर संपूर्ण गणना पूरी हो जाती है, तो परिणाम सीमांकित निरंतरता द्वारा लौटाया जाता है।^[10]

 (reset (* 2 (shift k CODE)))

जब कभी भी CODE (k N) को आमंत्रित करता है, * 2 N) का मूल्यांकन किया जाता है और वापस कर दिया जाता है।

यह निम्नलिखित के बराबर है:

  (let ((k (lambda (x) (* 2 x)))) CODE)

इसके अलावा, एक बार शिफ्ट के भीतर पूरी गणना पूरी हो जाने के बाद, निरंतरता को हटा दिया जाता है, और निष्पादन रीसेट पुनः आरंभ होता है।

 (reset (* 2 (shift k (k (k 4)))))

का आह्वान (k 4) पहले (जो 8 लौटाता है), और फिर (k 8) (जो 16 लौटाता है)। इस बिंदु पर, shift अभिव्यक्ति समाप्त हो गई है, और शेष reset अभिव्यक्ति को त्याग दिया गया है. इसलिए, अंतिम परिणाम 16 है।

वह सब कुछ जो बाहर घटित होता है reset अभिव्यक्ति छिपी हुई है, यानी नियंत्रण हस्तांतरण से प्रभावित नहीं है। उदाहरण के लिए, यह 17 लौटाता है:

 (+ 1 (reset (* 2 (shift k (k (k 4))))))

सीमांकित निरंतरताओं का वर्णन सबसे पहले फ़ेलिसेन एट अल द्वारा स्वतंत्र रूप से किया गया था।^[2]और जॉनसन.^[11] तब से उनका उपयोग बड़ी संख्या में डोमेन में किया गया है, विशेष रूप से नए नियंत्रण प्रवाह को परिभाषित करने में; क्वीननेक देखें^[12] एक सर्वेक्षण के लिए.

आइए एक अधिक जटिल उदाहरण पर नजर डालें। होने देना null खाली सूची बनें:

 (reset
   (begin
     (shift k (cons 1 (k (void)))) ;; (1)
     null))

संदर्भ द्वारा कब्जा कर लिया गया shift है (begin [*] null), कहाँ [*] वह छेद है जहाँ kका पैरामीटर इंजेक्ट किया जाएगा. की पहली कॉल k अंदर shift इस संदर्भ का मूल्यांकन करता है (void) = #<void> छेद को बदलना, तो का मूल्य (k (void)) है (begin #<void> null) = null. का शरीर shift, अर्थात् (cons 1 null) = (1), का समग्र मूल्य बन जाता है reset अंतिम परिणाम के रूप में अभिव्यक्ति.

इस उदाहरण को और अधिक जटिल बनाते हुए, एक पंक्ति जोड़ें:

 (reset
   (begin
     (shift k (cons 1 (k (void))))
     (shift k (cons 2 (k (void))))
     null))

अगर हम सबसे पहले टिप्पणी करें shift, हम पहले से ही परिणाम जानते हैं, यह है (2); इसलिए हम इस प्रकार अभिव्यक्ति को फिर से लिख सकते हैं:

 (reset
   (begin
     (shift k (cons 1 (k (void))))
     (list 2)))

यह काफी परिचित है, और इसे इस रूप में फिर से लिखा जा सकता है (cons 1 (list 2)), वह है, (list 1 2).

हम परिभाषित कर सकते हैं yield इस ट्रिक का उपयोग करें:

(परिभाषित करें (उपज x) (शिफ्ट k (cons x (k (void)))))

और सूचियों के निर्माण में इसका उपयोग करें:

 (reset (begin
          (yield 1)
          (yield 2)
          (yield 3)
          null))    ;; (list 1 2 3)

यदि हम प्रतिस्थापित करते हैं cons साथ stream-cons, हम आलसी स्ट्रीम बना सकते हैं:

  (define (stream-yield x) (shift k (stream-cons x (k (void)))))

  (define lazy-example
    (reset (begin
            (stream-yield 1)
            (stream-yield 2)
            (stream-yield 3)
            stream-null)))

हम इसे सामान्यीकृत कर सकते हैं और सूचियों को एक झटके में स्ट्रीम में परिवर्तित कर सकते हैं:

 (define (list->stream xs)
   (reset (begin
            (for-each stream-yield xs)
            stream-null)))

नीचे दिए गए अधिक जटिल उदाहरण में निरंतरता को लैम्ब्डा के शरीर में सुरक्षित रूप से लपेटा जा सकता है, और इस प्रकार उपयोग किया जा सकता है:

 (define (for-each->stream-maker for-each) 
   (lambda (collection) 
     (reset (begin 
              (for-each (lambda (element) 
                          (shift k 
                            (stream-cons element (k 'ignored)))) 
                        collection) 
              stream-null))))

के बीच का भाग reset और shift जैसे नियंत्रण कार्य शामिल हैं lambda और for-each; लैम्ब्डा का उपयोग करके इसे दोबारा लिखना असंभव है^[why?].

सीमांकित निरंतरताएँ भाषाविज्ञान में भी उपयोगी हैं: विवरण के लिए निरंतरता#भाषाविज्ञान देखें।

संदर्भ

↑ ^1.0 ^1.1 Felleisen, Matthias (1988). "प्रथम श्रेणी के संकेतों का सिद्धांत और व्यवहार". Principles of Programming Languages. pp. 180–190. doi:10.1145/73560.73576. ISBN 0-89791-252-7. S2CID 16705769.
↑ ^2.0 ^2.1 ^2.2 Felleisen, Matthias; Friedman, Daniel P.; Duba, Bruce; Marrill, John (February 1987). निरंतरता से परे (PDF) (Technical report). Computer Science Department, Indiana University. 216.
↑ Felleisen, Matthias (1987). The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages (PDF) (Thesis).
↑ Sitaram, Dorai; Felleisen, Matthias (1990). "सीमांकक और उनके पदानुक्रम को नियंत्रित करें" (PDF). Lisp and Symbolic Computation. 3: 67–99. doi:10.1007/BF01806126. S2CID 31430221.
↑ ^5.0 ^5.1 Danvy, Olivier; Filinski, Andrzej (1990). "सार नियंत्रण". LISP and Functional Programming. pp. 151–160. doi:10.1145/91556.91622. ISBN 0-89791-368-X. S2CID 6426191.
↑ Danvy, Olivier (2006). डेटा ऑब्जेक्ट के रूप में प्रोग्राम के लिए एक विश्लेषणात्मक दृष्टिकोण (Thesis). doi:10.7146/aul.214.152.
↑ Rémy, Didier; Gunter, Carl; Riecke, Jon G. (1995). "एमएल जैसी भाषाओं में अपवादों और नियंत्रण का सामान्यीकरण". Functional Programming Language and Computer Architecture.
↑ उदाहरण के लिए, द्वारा प्रस्तावित ऑपरेटरों को देखें racket/control रैकेट (प्रोग्रामिंग भाषा) लाइब्रेरी [1]; निम्नलिखित उदाहरणों का उपयोग करके रैकेट में चलाया जा सकता है (require racket/control)
↑ Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-chieh (2006). "On the Static and Dynamic Extents of Delimited Continuations". Science of Computer Programming. 60 (3): 274–297.
↑ Gasbichler, Martin; Sperber, Michael (2002). International Conference on Functional Programming. CiteSeerX 10.1.1.11.3425.
↑ Johnson, Gregory F. (June 1987). "GL: a denotational testbed with continuations and partial continuations". Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques. pp. 218–225.
↑ Queinnec, Christian (April 1994). "उच्च स्तरीय नियंत्रण ऑपरेटरों की एक लाइब्रेरी". Lisp Pointers, ACM SIGPLAN Special Interest Publ. On Lisp. École Polytechnique and INRIA-Rocquencourt. 6: 11–26. CiteSeerX 10.1.1.29.4790.

बाहरी संबंध

[felleisen88-1] 1.0 ^1.1 Felleisen, Matthias (1988). "प्रथम श्रेणी के संकेतों का सिद्धांत और व्यवहार". Principles of Programming Languages. pp. 180–190. doi:10.1145/73560.73576. ISBN 0-89791-252-7. S2CID 16705769.

[felleisen_87_tr-2] 2.0 ^2.1 ^2.2 Felleisen, Matthias; Friedman, Daniel P.; Duba, Bruce; Marrill, John (February 1987). निरंतरता से परे (PDF) (Technical report). Computer Science Department, Indiana University. 216.

[felleisen-thesis-3] Felleisen, Matthias (1987). The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages (PDF) (Thesis).

[4] Sitaram, Dorai; Felleisen, Matthias (1990). "सीमांकक और उनके पदानुक्रम को नियंत्रित करें" (PDF). Lisp and Symbolic Computation. 3: 67–99. doi:10.1007/BF01806126. S2CID 31430221.

[danvy90-5] 5.0 ^5.1 Danvy, Olivier; Filinski, Andrzej (1990). "सार नियंत्रण". LISP and Functional Programming. pp. 151–160. doi:10.1145/91556.91622. ISBN 0-89791-368-X. S2CID 6426191.

[danvy06-6] Danvy, Olivier (2006). डेटा ऑब्जेक्ट के रूप में प्रोग्राम के लिए एक विश्लेषणात्मक दृष्टिकोण (Thesis). doi:10.7146/aul.214.152.

[gunter95-7] Rémy, Didier; Gunter, Carl; Riecke, Jon G. (1995). "एमएल जैसी भाषाओं में अपवादों और नियंत्रण का सामान्यीकरण". Functional Programming Language and Computer Architecture.

[Ref_-8] उदाहरण के लिए, द्वारा प्रस्तावित ऑपरेटरों को देखें racket/control रैकेट (प्रोग्रामिंग भाषा) लाइब्रेरी [1]; निम्नलिखित उदाहरणों का उपयोग करके रैकेट में चलाया जा सकता है (require racket/control)

[biernacki_et_al_scp-06-9] Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-chieh (2006). "On the Static and Dynamic Extents of Delimited Continuations". Science of Computer Programming. 60 (3): 274–297.

[final-shift-10] Gasbichler, Martin; Sperber, Michael (2002). International Conference on Functional Programming. CiteSeerX 10.1.1.11.3425.

[johnson_87_siit-11] Johnson, Gregory F. (June 1987). "GL: a denotational testbed with continuations and partial continuations". Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques. pp. 218–225.

[queinnec_survey-12] Queinnec, Christian (April 1994). "उच्च स्तरीय नियंत्रण ऑपरेटरों की एक लाइब्रेरी". Lisp Pointers, ACM SIGPLAN Special Interest Publ. On Lisp. École Polytechnique and INRIA-Rocquencourt. 6: 11–26. CiteSeerX 10.1.1.29.4790.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

@@ Line 24: / Line 24: @@
 |url=https://tidsskrift.dk/brics/article/download/21903/19329/}}
 </ref>
-  <code>reset</code> e> ऑपरेटर निरंतरता के लिए सीमा निर्धारित करता है जबकि <code>shift</code> ऑपरेटर वर्तमान निरंतरता को अंतरतम परिक्षेत्र तक पकड़ता है या उसका पुनरीक्षण करता है <code>reset</code>. उदाहरण के लिए, स्कीम (प्रोग्रामिंग भाषा) में निम्नलिखित स्निपेट पर विचार करें:
+  <code>रीसेट</code>ऑपरेटर निरंतरता के लिए सीमा निर्धारित करता है जबकि <code>shift</code> ऑपरेटर वर्तमान निरंतरता को अंतरतम परिक्षेत्र तक पकड़ता है या उसका पुनरीक्षण करता है <code>reset</code>. उदाहरण के लिए, निम्नलिखित स्निपेट पर विचार करें:
 <syntaxhighlight lang="scheme">(* 2 (reset (+ 1 (shift k (k 5)))))</syntaxhighlight>
-  <code>reset</code> e> उस निरंतरता का परिसीमन करता है <code>shift</code> कैप्चर (नाम से) <code>k</code> इस उदाहरण में)। जब यह स्निपेट निष्पादित किया जाता है, तो इसका उपयोग होता है <code>shift</code> बांध देंगे <code>k</code> निरंतरता के लिए <code>(+ 1 [])</code> कहाँ <code>[]</code> गणना के उस भाग का प्रतिनिधित्व करता है जिसे किसी मान से भरा जाना है। यह निरंतरता सीधे उस कोड से मेल खाती है जो इसके चारों ओर है <code>shift</code> तक <code>reset</code>. क्योंकि शिफ्ट का शरीर (यानी, <code>(k 5)</code>) तुरंत निरंतरता का आह्वान करता है, यह कोड निम्नलिखित के बराबर है:
+  <code>रीसेट</code>उस निरंतरता का परिसीमन करता है जो<code>शिफ्ट</code> कैप्चर करता है। जब यह स्निपेट निष्पादित किया जाता है, तो इसका उपयोग होता है तो<code>शिफ्ट</code> का उपयोग <code>k</code> को निरंतरता <code>(+ 1 [])</code>  से बांध देगा जहां <code>[]</code> गणना के उस हिस्से का प्रतिनिधित्व करता है जिसे एक मूल्य से भरा जाना है। यह निरंतरता सीधे उस कोड से मेल खाती है जो रीसेट तक शिफ्ट को घेरता है। क्योंकि शिफ्ट का मुख्य भाग (यानी, (k 5)) तुरंत निरंतरता का आह्वान करता है, यह कोड निम्नलिखित के बराबर है:
 <syntaxhighlight lang="scheme">(* 2 (+ 1 5))</syntaxhighlight>
-सामान्य तौर पर, ये ऑपरेटर, उदाहरण के लिए, कैप्चर की गई निरंतरता को वापस करके अधिक दिलचस्प व्यवहार को एनकोड कर सकते हैं <code>k</code> एक मूल्य या आह्वान के रूप में <code>k</code> कई बार। <code>shift</code> ई> ऑपरेटर कैप्चर की गई निरंतरता को पास करता है <code>k</code> इसके मुख्य भाग में कोड के लिए, जो या तो इसे लागू कर सकता है, इसके परिणामस्वरूप इसे उत्पन्न कर सकता है, या इसे पूरी तरह से अनदेखा कर सकता है। चाहे उसका परिणाम कुछ भी हो <code>shift</code> उत्पादन अंतरतम को प्रदान किया जाता है <code>reset</code>, बीच में निरंतरता को त्यागना <code>reset</code> और <code>shift</code>. हालाँकि, यदि निरंतरता लागू की जाती है, तो यह प्रभावी रूप से वापस लौटने के बाद निरंतरता को पुनः स्थापित करता है <code>reset</code>. जब सारा हिसाब भीतर <code>reset</code> पूरा हो गया है, परिणाम सीमांकित निरंतरता द्वारा लौटाया जाता है।<ref name="final-shift">{{cite conference|author1=Gasbichler, Martin|author2=Sperber, Michael|book-title=International Conference on Functional Programming|year=2002|citeseerx = 10.1.1.11.3425 }}</ref> उदाहरण के लिए, इस योजना (प्रोग्रामिंग भाषा) कोड में:
+सामान्य तौर पर, ये ऑपरेटर अधिक दिलचस्प व्यवहार को एनकोड कर सकते हैं, उदाहरण के लिए, कैप्चर की गई निरंतरता <code>k</code> को एक मान के रूप में वापस करना या <code>k</code> को कई बार लागू करना है। शिफ्ट  ऑपरेटर कैप्चर की गई निरंतरता को पास करता है <code>k</code> इसके मुख्य भाग में कोड के लिए, जो या तो इसे लागू कर सकता है, इसके परिणामस्वरूप इसे उत्पन्न कर सकता है, या इसे पूरी तरह से अनदेखा कर सकता है। जो भी परिणाम शिफ्ट उत्पन्न करता है वह रीसेट और शिफ्ट के बीच की निरंतरता को छोड़कर, अंतरतम रीसेट को प्रदान किया जाता है। हालाँकि, यदि निरंतरता लागू की जाती है, तो यह रीसेट पर लौटने के बाद निरंतरता को प्रभावी ढंग से पुनः स्थापित करता है। जब रीसेट के भीतर संपूर्ण गणना पूरी हो जाती है, तो परिणाम सीमांकित निरंतरता द्वारा लौटाया जाता है।<ref name="final-shift">{{cite conference|author1=Gasbichler, Martin|author2=Sperber, Michael|book-title=International Conference on Functional Programming|year=2002|citeseerx = 10.1.1.11.3425 }}</ref>
 <syntaxhighlight lang="scheme">
   (reset (* 2 (shift k CODE)))
 </syntaxhighlight>
-जब कभी भी <code>CODE</code> का आह्वान <code>(k N)</code>, <code>(* 2 N)</code> मूल्यांकन कर लौटाया जाता है।
+जब कभी भी <code>CODE</code> <code>(k N) को आमंत्रित करता है,</code> <code>* 2 N)</code> का मूल्यांकन किया जाता है और वापस कर दिया जाता है।
 यह निम्नलिखित के बराबर है:
@@ Line 41: / Line 41: @@
    (let ((k (lambda (x) (* 2 x)))) CODE)
 </syntaxhighlight>
-इसके अलावा, एक बार पूरी गणना भीतर <code>shift</code> पूरा हो गया है, निरंतरता को छोड़ दिया गया है, और निष्पादन बाहर पुनः आरंभ होता है <code>reset</code>. इसलिए,
+इसके अलावा, एक बार शिफ्ट के भीतर पूरी गणना पूरी हो जाने के बाद, निरंतरता को हटा दिया जाता है, और निष्पादन रीसेट पुनः आरंभ होता है।
 <syntaxhighlight lang="scheme">
   (reset (* 2 (shift k (k (k 4)))))</syntaxhighlight>

Anonymous

Search

सीमांकित निरंतरता: Difference between revisions

Namespaces

More

Page actions

Revision as of 13:00, 18 July 2023

Contents

इतिहास

उदाहरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सीमांकित निरंतरता: Difference between revisions

Revision as of 13:00, 18 July 2023

इतिहास

उदाहरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories