क्या कोई मुझे पीसीएफ में निरंतरता कार्यात्मकता के मापांक की गैर-निश्चितता के संदर्भ में इंगित कर सकता है? \ newcommand {\ bool} {\ mathsf {bool}}
कुछ विशिष्ट मुद्दों को अधिक विस्तार से बताते हुए, एक बहुत अच्छा ब्लॉग पोस्ट लिखा है , लेकिन मैं इस प्रश्न के संदर्भ में कुछ संदर्भ देने के लिए अपनी पोस्ट को संक्षेप में प्रस्तुत करूँगा। बेयर स्पेस प्राकृतिक संख्या अनुक्रमों का समुच्चय है, या समान रूप से भीलों से नलिकाएं \ N \ to \ N के कार्यों का सेट है । इस प्रश्न के लिए, हम अपना ध्यान केवल उन्हीं धाराओं तक सीमित रखेंगे, जो संगणक हैं।
अब, एक फ़ंक्शन निरंतर है यदि प्रत्येक लिए , का मान केवल के तत्वों की एक सीमित संख्या पर निर्भर करता है , और यह कम्प्यूटेशनल रूप से निरंतर है यदि हम वास्तव में एक ऊपरी गणना कर सकते हैं कितने तत्वों की आवश्यकता है पर बाध्य । अभिकलन के कुछ मॉडलों में, वास्तव में एक प्रोग्राम लिखना संभव है जो Baire स्थान और Baire स्थान के एक तत्व पर एक कम्प्यूटेशनल फ़ंक्शन लेता है, और धारा के तत्वों की संख्या पर ऊपरी सीमा को वापस देता है।
इसे लागू करने के लिए एक चाल स्थानीय भंडारण का उपयोग करने के लिए देखी गई धारा में अधिकतम सूचकांक दर्ज करने के लिए है:
let modulus f xs =
let r = ref 0 in
let ys = fun i -> (r := max i !r; xs i) in
f ys;
!r
बेशक, ys
तर्क अब विशुद्ध रूप से कार्यात्मक कार्यक्रम नहीं है। इस कार्यक्रम में मेरी दिलचस्पी इस तथ्य से है कि यह केवल स्थानीय स्टोर का उपयोग करता है, और इसलिए यह अत्यधिक शुद्ध है। मैं (अन्य बातों के अलावा) उच्च-क्रमिक प्रोग्रामिंग पर काम करता हूं, और मैं उन प्रकार के सिद्धांतों को डिजाइन कर रहा हूं जो इसे शुद्ध कार्य के रूप में वर्गीकृत कर सकते हैं।
और भी व्यावहारिक उदाहरण हैं, जिसमें संस्मरण और कनेक्शन पूलिंग जैसी चीजें शामिल हैं, लेकिन मुझे यह विशेष रूप से सुंदर उदाहरण लगता है।