मान लें कि हम एक प्रकार की, शुद्ध कार्यात्मक प्रोग्रामिंग भाषा चाहते थे, जैसे हास्केल या इदरिस, जिसका उद्देश्य कचरा संग्रह के बिना सिस्टम प्रोग्रामिंग है और जिसका कोई रनटाइम नहीं है (या कम से कम C और Rust "runtimes" से अधिक नहीं है)। कोई चीज जो नंगे धातु पर, कम या ज्यादा चल सकती है।
स्थिर मेमोरी सुरक्षा के लिए कुछ विकल्प क्या हैं जिन्हें मैनुअल मेमोरी मैनेजमेंट या रनटाइम कचरा संग्रह की आवश्यकता नहीं है, और हास्केल या इदरीस के समान शुद्ध कार्यात्मक के प्रकार का उपयोग करके समस्या को कैसे हल किया जा सकता है?
क्या आप कह रहे हैं कि आप कचरा संग्रहण से बचने के तरीके के रूप में भाषा के प्रकारों को पसंद करेंगे? कार्यों के मूल्यांकन में मूल समस्या उत्पन्न होती है। किसी फ़ंक्शन का मूल्यांकन एक क्लोजर के लिए किया जाता है, जो वर्तमान रनटाइम वातावरण को एन्क्रिप्ट करता है। यह कचरा संग्रहण करने का प्रमुख स्रोत है। जब तक आप फ़ंक्शन के लिए टाइपिंग नियम नहीं बदलते हैं, मैं यह नहीं देखता कि इसके साथ कैसे मदद करने जा रहे हैं। जावा और अन्य भाषाओं में टूटे हुए -abstractions को क्लोजर के गठन को बदलकर इसे जगाया जाता है: वे उन संदर्भों को अस्वीकार करते हैं जिनके लिए गैब्रेज संग्रह की आवश्यकता होगी।
—
बाउर
निश्चित रूप से रस्ट को अपने स्वामित्व मॉडल और उधारकर्ता चेकर के साथ फ़ंक्शन मूल्यांकन और क्लोजर की समान समस्या को संबोधित करना था? मेमोरी प्रबंधन का अर्थ सिर्फ यह जानना है कि मूल्य कितने समय तक जीवित हैं, अन्य मूल्य उन पर निर्भर करते हैं, और अप्रयुक्त मूल्यों को नष्ट करने पर, जब वे मर जाते हैं, ठीक है? इसलिए मुझे लगता है कि मैं वास्तव में पूछ रहा हूं कि क्या मेमोरी प्रबंधन को एक प्रकार से सेट किया जा सकता है जिसे टाइप सिस्टम के माध्यम से शुद्धता के लिए जांचा जा सकता है, बिना पूरी नई स्वामित्व प्रणाली को जोड़कर भाषा या संकलक की बुनियादी मशीनरी का विस्तार किए बिना और "उधार लें" चेकर ”(जो रस्ट का तरीका है)।
—
मई
मार्टिन हॉफमैन के एलएफपीएल के बारे में क्या ? इसका एक विशेष आधार प्रकार है, "हीरा", जिस पर एक रैखिक प्रकार का अनुशासन लागू किया जाता है, जिससे बुनियादी मेमोरी उपयोग (आवंटन / डील्लोकेशन) के प्रकारों की अनुमति मिलती है। क्या आप उस दिशा में जाएंगे, जिसके बारे में आप बात कर रहे हैं?
—
दामियानो माज़ा