ऐसा नहीं है कि मुझे पता है, हालांकि मैं कोई कार्यात्मक प्रोग्रामिंग विशेषज्ञ नहीं हूं।
यह सिद्धांत रूप में बहुत कठिन लगता है, क्योंकि फ़ंक्शन से लौटाए गए मानों में अन्य मानों के संदर्भ हो सकते हैं जो एक ही फ़ंक्शन के भीतर (स्टैक पर) बनाए गए थे, या हो सकता है कि आसानी से एक पैरामीटर के रूप में पारित किया गया हो, या किसी चीज से संदर्भित हो। एक पैरामीटर के रूप में। सी में, इस समस्या से निपटने की अनुमति देकर निपटाया जाता है कि प्रोग्रामर (या अधिक सटीक, अपरिभाषित व्यवहार) हो सकता है यदि प्रोग्रामर को चीजें सही नहीं मिलती हैं। यह उस तरह का समाधान नहीं है जिसे कार्यात्मक भाषा डिजाइनर मंजूरी देते हैं।
हालांकि, संभावित समाधान भी हैं। एक विचार यह है कि मूल्य के जीवनकाल को मूल्य के प्रकार का एक हिस्सा बनाने के लिए, इसके संदर्भ के साथ, और प्रकार-आधारित नियमों को परिभाषित करें जो स्टैक-आवंटित मानों को वापस लौटने से रोकते हैं, या कुछ से लौटाए जाने से संदर्भित, ए समारोह। मैंने निहितार्थ के माध्यम से काम नहीं किया है, लेकिन मुझे संदेह है कि यह भयानक होगा।
मोनैडिक कोड के लिए, एक और समाधान है जो (वास्तव में या लगभग) विवादास्पद है, और स्वचालित रूप से नियतांत्रिक रूप से नष्ट किए गए IORef को एक प्रकार दे सकता है। सिद्धांत "घोंसले के शिकार" कार्यों को परिभाषित करना है। जब संयुक्त (एक साहचर्य ऑपरेटर का उपयोग करके), ये एक नेस्टिंग कंट्रोल फ्लो को परिभाषित करते हैं - मुझे लगता है कि "एक्सएमएल तत्व", बाहरी स्टार्ट-एंड-एंड-टैग जोड़ी प्रदान करने वाले अधिकांश मूल्यों के साथ। ये "एक्सएमएल टैग्स" सिर्फ अमूर्तता के एक और स्तर पर विवादास्पद कार्यों के आदेश को परिभाषित कर रहे हैं।
कुछ बिंदु पर (साहचर्य रचना की श्रृंखला के दाईं ओर) आपको घोंसले को समाप्त करने के लिए किसी तरह के टर्मिनेटर की आवश्यकता है - बीच में छेद को भरने के लिए कुछ। एक टर्मिनेटर की आवश्यकता है, जिसका अर्थ है कि शायद घोंसला बनाने वाला संचालक संन्यासी नहीं है, हालांकि फिर से, मुझे पूरी तरह से यकीन नहीं है क्योंकि मैंने विवरण के माध्यम से काम नहीं किया है। जैसा कि सभी टर्मिनेटर लागू करता है एक घोंसले के शिकार कार्रवाई को प्रभावी रूप से एक सामान्य सामान्य मानदिक कार्रवाई में परिवर्तित करता है, शायद नहीं - यह जरूरी नहीं कि घोंसले के शिकार ऑपरेटर को प्रभावित करें।
इनमें से कई विशेष क्रियाओं में एक अशक्त "एंड-टैग" कदम होगा, और कुछ सरल मोनडिक कार्रवाई के साथ "शुरुआती-टैग" चरण की समानता होगी। लेकिन कुछ परिवर्तनशील घोषणाओं का प्रतिनिधित्व करेंगे। ये शुरुआती टैग के साथ कंस्ट्रक्टर का प्रतिनिधित्व करते हैं, और अंत-टैग के साथ विध्वंसक। तो आपको कुछ ऐसा मिलता है ...
act = terminate ((def-var "hello" ) >>>= \h ->
(def-var " world") >>>= \w ->
(use-val ((get h) ++ (get w)))
)
निम्नलिखित निष्पादन के आदेश के साथ एक राक्षसी रचना में अनुवाद, प्रत्येक टैग (तत्व नहीं) एक सामान्य मोनडिक क्रिया बन जाती है ...
<def-var val="hello"> -- construction
<def-var val=" world> -- construction
<use-val ...>
<terminator/>
</use-val> -- do nothing
</def-val> -- destruction
</def-val> -- destruction
इस तरह के नियम C ++ शैली RAII को लागू करने की अनुमति दे सकते हैं। IORef जैसे संदर्भ उनके दायरे से बच नहीं सकते हैं, समान कारणों से सामान्य IORefs मठ से बच नहीं सकते हैं - साहचर्य रचना के नियम संदर्भ से बचने का कोई रास्ता नहीं प्रदान करते हैं।
संपादित करें - मैं लगभग यह कहना भूल गया - एक निश्चित क्षेत्र है जिसके बारे में मैं यहाँ अनिश्चित हूँ। यह सुनिश्चित करना महत्वपूर्ण है कि एक बाहरी चर एक मूल रूप से एक आंतरिक संदर्भ नहीं दे सकता है, इसलिए एक प्रतिबंध होना चाहिए कि आप इन आईओआरएफ जैसे संदर्भों के साथ क्या कर सकते हैं। फिर, मैंने सभी विवरणों के माध्यम से काम नहीं किया है।
इसलिए, निर्माण उदा एक फ़ाइल खोल सकता है जो विनाश को बंद कर देता है। निर्माण एक सॉकेट खोल सकता है जो विनाश को बंद कर देता है। मूल रूप से, C ++ में, चर संसाधन प्रबंधक बन जाते हैं। लेकिन C ++ के विपरीत, ऐसे ढेर-आवंटित ऑब्जेक्ट नहीं हैं जो स्वचालित रूप से नष्ट नहीं किए जा सकते हैं।
यद्यपि यह संरचना RAII का समर्थन करती है, फिर भी आपको कचरा कलेक्टर की आवश्यकता है। हालाँकि, एक नेस्टिंग क्रिया, मेमोरी को आवंटित और मुक्त कर सकती है, लेकिन इसे एक संसाधन के रूप में मानते हुए, स्मृति और उस जगह के भीतर (संभवतः साझा) कार्यात्मक मूल्यों के सभी संदर्भ हैं। यह देखते हुए कि मेमोरी को केवल ढेर पर आवंटित किया जा सकता है, ढेर मुक्त की आवश्यकता से बचते हुए, वास्तविक महत्व (यदि कोई है) अन्य प्रकार के संसाधन प्रबंधन के लिए है।
तो यह क्या प्राप्त होता है RAII- शैली संसाधन प्रबंधन को स्मृति प्रबंधन से अलग करने के लिए, कम से कम उस स्थिति में जहां RAII सरल डस्टिंग स्कोप पर आधारित है। आपको स्मृति प्रबंधन के लिए अभी भी एक कचरा कलेक्टर की आवश्यकता है, लेकिन आप अन्य संसाधनों के सुरक्षित और समय पर स्वचालित निर्धारक सफाई प्राप्त करते हैं।