View source for सीमांकित निरंतरता

[[Index.php?title=प्रोग्रामिंग लैंग्वेजेज|प्रोग्रामिंग लैंग्वेजेज]] में, एक '''सीमांकित निरंतरता''', रचना योग्य निरंतरता या आंशिक निरंतरता, एक [[ स्टैक फ़्रेम ]] का एक टुकड़ा है जिसे एक [[Index.php?title=फ़ंक्शन|फ़ंक्शन]] में [[Index.php?title=पुन: एकीकृत|पुन: एकीकृत]] किया गया है। नियमित निरंतरता के विपरीत, सीमांकित निरंतरता एक मूल्य लौटाती है, और इस प्रकार इसका पुन: उपयोग और रचना की जा सकती है। नियंत्रण सीमांकक, सीमांकित निरंतरता का आधार, 1988 में [[मैथ्यू फेलिसेन]] द्वारा प्रस्तुत किया गया था<ref name='felleisen88'>{{cite conference|author=Felleisen, Matthias|title=प्रथम श्रेणी के संकेतों का सिद्धांत और व्यवहार|book-title=[[Principles of Programming Languages]]|year=1988|doi=10.1145/73560.73576|pages=180–190|isbn=0-89791-252-7|s2cid=16705769 }}</ref> चूंकि रचना योग्य और सीमांकित निरंतरता के प्रारंभिक संकेत [[कैरोलिन टैल्कॉट]] के स्टैनफोर्ड 1984 शोध प्रबंध, फेलिसेन और अन्य में पाए जा सकते हैं।<ref name="felleisen 87 tr">{{cite techreport|last1=Felleisen|first1=Matthias|last2=Friedman|first2=Daniel P.|last3=Duba|first3=Bruce |last4=Marrill|first4=John|title=निरंतरता से परे|number=216|institution=Computer Science Department, [[Indiana University (Bloomington)|Indiana University]]|url=http://www.ccs.neu.edu/scheme/pubs/felleisen-beyond.pdf|date=February 1987}}</ref> फेलिसेन का 1987 का शोध प्रबंध,<ref name='felleisen-thesis'>{{cite thesis|title=The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages|author=Felleisen, Matthias|url=http://www.ccs.neu.edu/racket/pubs/dissertation-felleisen.pdf|year=1987}}</ref> और कार्यात्मक[[ बैक ट्रैकिंग ]]के लिए एल्गोरिदम, उदाहरण के लिए, [[पैटर्न मिलान]] के लिए, [[Index.php?title=पार्सिंग|पार्सिंग]] के लिए, [[Index.php?title=बीजगणितीय तर्क कार्यात्मक प्रोग्रामिंग लैंग्वेज|बीजगणितीय तर्क कार्यात्मक प्रोग्रामिंग लैंग्वेज]] में, और [[प्रोलॉग]] की कार्यात्मक [[Index.php?title=कार्यान्वयन|कार्यान्वयन]] में जहां विफलता निरंतरता को अधिकांशतः अंतर्निहित रखा जाता है और सफलता निरंतरता के लिए होने का कारण है कि यह रचना योग्य है।

== इतिहास ==

सीमांकित निरंतरताओं को पहली बार 1988 में फेलिसेन द्वारा एक ऑपरेटर के साथ प्रस्तुत किया गया था,<ref name='felleisen88'/>  <math>\mathcal{F}</math> पहली बार 1987 में एक तकनीकी रिपोर्ट में प्रस्तुत किया गया था,<ref name='felleisen 87 tr'/> एक त्वरित निर्माण के साथ <math>\#</math> ऑपरेटर को उन नियंत्रण ऑपरेटरों के सामान्यीकरण के लिए डिज़ाइन किया गया था जिनका वर्णन साहित्य में किया गया था जैसे स्कीम से <code>call/cc</code>, [[ISWIM]] के [[Index.php?title=J ऑपरेटर|J ऑपरेटर]], जॉन सी. रेनॉल्ड्स' <code>escape</code> ऑपरेटर, और अन्य है। इसके बाद, प्रोग्रामिंग लैंग्वेजेज के अनुसंधान समुदाय द्वारा कई प्रतिस्पर्धी सीमांकित नियंत्रण ऑपरेटरों का आविष्कार किया गया <code>prompt</code> और <code>control</code>,<ref>{{cite journal|url=http://www.ccs.neu.edu/racket/pubs/lasc1990-sf.pdf|last1=Sitaram|first1=Dorai|last2=Felleisen|first2=Matthias|title=सीमांकक और उनके पदानुक्रम को नियंत्रित करें|journal=Lisp and Symbolic Computation|year=1990|volume=3|pages=67–99|doi=10.1007/BF01806126|s2cid=31430221 }}</ref> <code>shift</code> और <code>reset</code>,<ref name="danvy90">{{cite conference|title=सार नियंत्रण|last1=Danvy|first1=Olivier |last2=Filinski|first2=Andrzej|book-title=LISP and Functional Programming|year=1990|pages=151–160|isbn=0-89791-368-X|doi=10.1145/91556.91622|s2cid=6426191|doi-access=free }}</ref><ref name='danvy06'>{{cite thesis|title=डेटा ऑब्जेक्ट के रूप में प्रोग्राम के लिए एक विश्लेषणात्मक दृष्टिकोण|author=Danvy, Olivier|url=https://ebooks.au.dk/index.php/aul/catalog/book/214|year=2006|doi=10.7146/aul.214.152}}</ref><code>cupto</code>,<ref name='gunter95'>{{cite conference|title=एमएल जैसी भाषाओं में अपवादों और नियंत्रण का सामान्यीकरण|author1=Rémy, Didier|author2=Gunter, Carl|author3=Riecke, Jon G.|book-title=Functional Programming Language and Computer Architecture|year=1995}}</ref> <code>fcontrol</code>, और दूसरे अन्य है।

== उदाहरण ==
शोध साहित्य में सीमांकित निरंतरता के लिए विभिन्न ऑपरेटरों का प्रस्ताव किया गया है।<ref name="Ref_">उदाहरण के लिए, द्वारा प्रस्तावित ऑपरेटरों को देखें <code>racket/control</code> [[रैकेट (प्रोग्रामिंग भाषा)]] लाइब्रेरी [http://docs.racket-lang.org/reference/cont.html#(part._.Classical_.Control_.Operators)]; निम्नलिखित उदाहरणों का उपयोग करके रैकेट में चलाया जा सकता है <code>(require racket/control)</code></ref>

एक स्वतंत्र प्रस्ताव<ref name='danvy90'/>निरंतरता-पासिंग शैली (CPS) पर आधारित है - अर्थात, निरंतरता फ़्रेम पर नहीं - और दो नियंत्रण ऑपरेटर प्रदान करता है, <code>shift</code> और <code>reset</code>, जो गतिशील सीमांकित निरंतरताओं के अतिरिक्त स्थैतिक को जन्म देता है।<ref name="biernacki et al scp-06">
{{cite journal
|last1=Biernacki
|first1=Dariusz 
|last2=[[Olivier Danvy|Danvy]]
|first2=Olivier
|last3=Shan
|first3=Chung-chieh
|date=2006
|title=On the Static and Dynamic Extents of Delimited Continuations
|journal=Science of Computer Programming
|volume=60
|issue=3
|pages=274-297
|url=https://tidsskrift.dk/brics/article/download/21903/19329/}}
</ref>
 <code>रीसेट</code>ऑपरेटर निरंतरता के लिए सीमा निर्धारित करता है जबकि <code>shift</code> ऑपरेटर वर्तमान निरंतरता को अंतरतम परिक्षेत्र तक कैच है या उसका पुनरीक्षण करता है।  

<syntaxhighlight lang="scheme">(* 2 (reset (+ 1 (shift k (k 5)))))</syntaxhighlight>

 <code>रीसेट</code>उस निरंतरता का परिसीमन करता है जो<code>shift</code>कैप्चर करता है। जब यह स्निपेट निष्पादित किया जाता है, तो इसका उपयोग होता है<code>शिफ्ट</code>का उपयोग<code>k</code>को निरंतरता<code>(+ 1 [])</code>से बांध देगा जहां<code>[]</code>गणना के उस हिस्से का प्रतिनिधित्व करता है जिसे एक मूल्य से भरा जाना है। यह निरंतरता सीधे उस कोड से मेल खाती है जो<code>reset</code>तक<code>shift</code>को घेरता है। चूंकि<code>shift</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>shift</code> के बीच की निरंतरता को छोड़कर, अंतरतम <code>reset</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>  
<syntaxhighlight lang="scheme">
 (reset (* 2 (shift k CODE)))
</syntaxhighlight>
जब कभी भी <code>CODE</code> <code>(k N) को आमंत्रित करता है,</code> <code>* 2 N)</code> का मूल्यांकन किया जाता है और वापस कर दिया जाता है।

यह निम्नलिखित के बराबर है: 
<syntaxhighlight lang="scheme">
  (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>
पहले <code>(k 4)</code> को आमंत्रित करता है, और फिर<code>(k 8)</code>इस बिंदु पर, <code>shift</code>अभिव्यक्ति समाप्त हो गई है, और शेष <code>reset</code>अभिव्यक्ति को छोड़ दिया गया है। इसलिए, अंतिम परिणाम 16 है।

<code>reset</code>  अभिव्यक्ति के बाहर जो कुछ भी होता है वह छिपा हुआ होता है, यानी नियंत्रण हस्तांतरण से प्रभावित नहीं होता है।  
<syntaxhighlight lang="scheme">
 (+ 1 (reset (* 2 (shift k (k (k 4))))))</syntaxhighlight>
सीमांकित निरंतरताओं का वर्णन सबसे पहले फ़ेलिसेन एट अल द्वारा स्वतंत्र रूप से किया गया था।<ref name="felleisen 87 tr"/> और जॉनसन<ref name="johnson 87 siit">{{cite conference|author=Johnson, Gregory F.|title=GL: a denotational testbed with continuations and partial continuations|pages=218–225|date=June 1987|book-title=Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques}}</ref> तब से उनका उपयोग बड़ी संख्या में डोमेन में किया गया है, विशेष रूप से नए नियंत्रण प्रवाह को परिभाषित करने के लिए है।<ref name="queinnec survey">{{cite journal|last=Queinnec|first=Christian|publisher=[[École Polytechnique]] and [[INRIA]]-Rocquencourt|title=उच्च स्तरीय नियंत्रण ऑपरेटरों की एक लाइब्रेरी|journal=Lisp Pointers, ACM SIGPLAN Special Interest Publ. On Lisp|citeseerx = 10.1.1.29.4790|date=April 1994|volume=6|pages=11–26}}</ref> 

जटिल उदाहरण : 
<syntaxhighlight lang="scheme">
 (reset
   (begin
     (shift k (cons 1 (k (void)))) ;; (1)
     null))</syntaxhighlight>
<code>shift</code> द्वारा कैप्चर किया गया संदर्भ<code>(begin [*] null)</code>  है, जहां <code>[*]</code> वह है <code>k</code>का पैरामीटर इंजेक्ट किया जाता है। <code>shift</code> के अंदर <code>k</code> इस संदर्भ का मूल्यांकन करता है <code>(void)</code> = <code>#<void></code> को प्रतिस्थापित करने के साथ मूल्यांकन करती है, इसलिए<code>(k (void))</code> का मान<code>(begin #<void> null)</code> = <code>null है।</code> <code>shift</code>  का मुख्य भाग, अर्थात् <code>(cons 1 null)</code> = <code>(1)</code>, अंतिम परिणाम के रूप में <code>reset</code> अभिव्यक्ति का समग्र मूल्य बन जाता है।

जो इस उदाहरण को और अधिक जटिल बनाते है: 
<syntaxhighlight lang="scheme">
 (reset
   (begin
     (shift k (cons 1 (k (void))))
     (shift k (cons 2 (k (void))))
     null))</syntaxhighlight>
यदि हम सबसे पहले टिप्पणी करें करते हैं, तो हम पहले से ही परिणाम जानते हैं, यह है <code>(2)</code>; इसलिए हम इस प्रकार अभिव्यक्ति को फिर से लिख सकते हैं: 
<syntaxhighlight lang="scheme">
 (reset
   (begin
     (shift k (cons 1 (k (void))))
     (list 2)))</syntaxhighlight>
यह उचित है, और इसे इस रूप में फिर से लिखा जा सकता है <code>(cons 1 (list 2))</code>,<code>(list 1 2)</code>.

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

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

और सूचियों के निर्माण में इसका उपयोग करें: 
<syntaxhighlight lang="scheme">
 (reset (begin
          (yield 1)
          (yield 2)
          (yield 3)
          null))    ;; (list 1 2 3)</syntaxhighlight>
यदि हम <code>cons</code> को <code>stream-cons</code> से प्रतिस्थापित करते हैं, तो हम मंद स्ट्रीम बना सकते हैं: 
<syntaxhighlight lang="scheme">
  (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)))
</syntaxhighlight>
हम इसे सामान्यीकृत कर सकते हैं और सूचियों को स्ट्रीम में परिवर्तित कर सकते हैं: 
<syntaxhighlight lang="scheme">
 (define (list->stream xs)
   (reset (begin
            (for-each stream-yield xs)
            stream-null)))
</syntaxhighlight>
नीचे दिए गए अधिक जटिल उदाहरण में निरंतरता को लैम्ब्डा में सुरक्षित रूप से रखा जा सकता है, और इस प्रकार उपयोग किया जा सकता है: 
<syntaxhighlight lang="scheme">
 (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))))
</syntaxhighlight>
<code>reset</code> और <code>shift</code> के बीच के हिस्से में <code>lambda</code> और <code>for-each</code> के लिए नियंत्रण कार्य सम्मलित हैं; लैम्ब्डा का उपयोग करके इसे दोबारा लिखना असंभव है{{why?|date=August 2012}}.

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

== संदर्भ ==
{{reflist}}


== बाहरी संबंध ==
*[http://community.schemewiki.org/?composable-continuations-tutorial Composable continuations tutorial at SchemeWiki]
*[http://okmij.org/ftp/continuations/ZFS/context-OS.pdf Delimited continuations in operating systems, by Oleg Kiselyov and Chung-chieh Shan]
*[http://okmij.org/ftp/continuations/implementations.html Native delimited continuations in (byte-code and native-code) OCaml]
*[https://archive.today/20121205215033/http://palm-mute.livejournal.com/12291.html Shift/reset для самых маленьких] {{in lang|ru}}
*[http://axisofeval.blogspot.com/2011/07/some-nice-paperz.html Some nice papers on delimited continuations and first-class macros]

{{DEFAULTSORT:Delimited Continuation}}[[Category: बहाव को काबू करें]] [[Category: निरंतरता]] [[Category: रैकेट कोड उदाहरण सहित लेख]] 



[[Category: Machine Translated Page]]
[[Category:Created On 11/07/2023]]