मैंने अपनी भाषा में क्लोजर (लैम्बडास) जोड़ना शुरू किया जो एलएलवीएम का बैकएंड के रूप में उपयोग करता है। मैंने उन्हें सरल मामलों के लिए लागू किया है, जहां उन्हें हमेशा परिभाषित किया जा सकता है यानी क्लोजर परिभाषा के लिए कोड को उत्पन्न करने की आवश्यकता नहीं होती है, क्योंकि इसका उपयोग कहीं भी किया जाता है।एलएलवीएम आईआर में बंद करने में कुशलतापूर्वक कार्यान्वयन कैसे करें?
लेकिन बंद होने पर हमेशा बंद करने के लिए कोड को कैसे उत्पन्न किया जाए (उदाहरण के लिए, यह किसी अन्य फ़ंक्शन को पास किया गया है जो रेखांकित नहीं है)। अधिमानतः, कॉल साइटों को परवाह नहीं करना चाहिए कि वे नियमित कार्य या बंद कर चुके हैं और उन्हें सामान्य कार्यों के रूप में बुलाएंगे।
मैं सिंथेटिक नाम के साथ एक फ़ंक्शन उत्पन्न कर सकता हूं, लेकिन इसे संदर्भ तर्क को अतिरिक्त तर्क के रूप में लेना होगा और यह फ़ंक्शन केवल किसी अन्य फ़ंक्शन पर नहीं भेजा जा सकता है जो आवश्यक अतिरिक्त तर्क के बारे में नहीं जानता है।
मैंने एलएलवीएम के ट्रैम्पोलिन इंट्रिनिक्स का उपयोग करके एक संभावित समाधान के बारे में सोचा है, जो एक फ़ंक्शन से एक पैरामीटर "एक्साइज" करता है, एक पॉइंटरोलिन फ़ंक्शन में पॉइंटर लौटाता है जो एक कम पैरामीटर लेता है। इस मामले में, अगर बंद करने के लिए उत्पन्न फ़ंक्शन ने संदर्भ पैरामीटर को पहले पैरामीटर के रूप में लिया, तो मैं इसे एक्साइज कर सकता हूं और एक फ़ंक्शन वापस प्राप्त कर सकता हूं जो वास्तव में बंद होने के रूप में कई पैरामीटर लेता है। क्या यह ध्वनि करने योग्य है? कुशल? क्या कोई बेहतर समाधान है?
कोड उदाहरण:
def applyFunctionTo(value: Int, f: (Int) -> Int) = f(value)
def main() = {
val m := 4;
val n := 5;
val lambda := { (x: Int) => x + m + n };
applyFunctionTo(3, lambda)
}
अब, चलो कल्पना है कि इस def main() = 3 + 4 + 5 को inlined नहीं होता है, और applyFunctionTo संभवतः अलग से संकलित किया जाएगा कि, और हम वहाँ कॉल साइट बदल नहीं सकते। ट्रैम्पोलाइनिंग के साथ, मैं कल्पना उत्पन्न कोड कुछ इस तरह होगा (स्यूडोकोड में व्यक्त किया, * सूचक का मतलब है):
def main$lambda$1(env: {m: Int, n: Int}*, x: Int) = x + env.m + env.n
def main() = {
m = 4
n = 5
env* = allocate-space-for {Int, Int}
env = {m, n}
tramp* = create-trampoline-for(main$lambda$1*, env*)
return applyFunctionTo(3, tramp*)
// release memory for env and trampoline if the lambda didn't escape
}
यह सही नहीं लगता है?
आभासी तरीकों के साथ बंद करने और वस्तुओं को कार्यान्वित करने के बीच कोई अंतर नहीं है। –
यह संभव है कि आप सही हैं, हालांकि, भाषा में वर्चुअल विधियां नहीं होंगी (अभी तक)। कम से कम इसमें बंद होने और उससे पहले कई अन्य सामान होंगे। मैं कुछ विशेषताओं को एक गूंगा क्रम में जोड़ सकता हूं क्योंकि मैं इसे सीखने के उद्देश्यों के लिए कर रहा हूं, ज्यादातर। मुझे उम्मीद है कि अंत में कुछ उपयोगी होगा। –
मेरा मतलब है कि बंद करने के लिए कुछ नया आविष्कार करने का कोई कारण नहीं है: आप एक ही बात कर सकते हैं, कहें, एक सी ++ कंपाइलर पहले से ही कर रहा है।संभावना है कि यह करने के लिए पहले से ही सबसे कुशल चीज है। –