क्लोजर (हास्केल में)

Question

मेरे लिए एक क्लोजर सह-स्थित डेटा के साथ एक (नेस्टेड?) फ़ंक्शन है।

जब आप हास्केल में सॉफ़्टवेयर लिखते हैं और बाद में इसे देखते हैं, तो आप अक्सर अनजाने में बनाए गए बंद को ढूंढते हैं।

मुझे अपने लिए यह अधिकार बिल्कुल सही नहीं है। मैं किस स्थिति में जानबूझ कर बंद करना चाहता हूं? आखिरकार, सभी उदाहरणों में मुझे लगता है कि सह-स्थित डेटा की मात्रा मामूली/छोटी है और इस प्रकार यह मुझे प्रतीत नहीं होता है जैसे कि अभ्यास में जो कभी भी (जानबूझकर) सृजन को औचित्य साबित कर देगा। क्या कोई हास्केल मॉड्यूल है जो जानबूझकर बंद करने और उदा। उन्हें मानचित्र में संग्रहीत करना?

Answer 1

हास्केल में, फ़ंक्शन भाषा का एक अनिवार्य हिस्सा हैं, मुख्य रूप से हैस्केल Lambda Calculus पर आधारित है।

लैम्ब्डा कैलकुस में, ऐसे फ़ंक्शन हैं जिनमें "मुक्त चर" हैं, जिसका अर्थ है कि वे चर का उपयोग करते हैं जो उन्हें प्रत्यक्ष पैरामीटर के रूप में पारित नहीं किया गया था। मुक्त चर के साथ कार्य वे हैं जो आप इस मामले में "बंद" कहते हैं।

क्योंकि एलसी में मुफ्त चर के साथ कार्य बहुत आम हैं, वे हास्केल भाषा का एक अभिन्न अंग भी बनाते हैं। उदाहरण के लिए, जब आप इस बारे में:

f a b = \ c -> a * b + c 

... या यहाँ तक कि:

f a b c = a * b + c 

... आप भी इस सटीक एक ही परिणाम के साथ लेखन किया जा सकता है,

f a b = let product = a * b in \ c -> product + c 

... आगे समकक्ष परिवर्तन:

f a = \ b -> let product = a * b in \ c -> product + c 

ऐसा इसलिए है क्योंकि हास्केल अनिवार्य रूप से मुक्त चर हर जगह के साथ फ़ंक्शन बनाता है, और इस प्रकार, बंद हर समय बनाए जाते हैं। इनमें से कुछ को संकलक द्वारा अनुकूलित किया जा सकता है, लेकिन यह मानना ​​सुरक्षित है कि आपके द्वारा कभी भी खोजने में सक्षम होने के मुकाबले अधिक बंद हो जाएगा।

तो, बंद करने का पता लगाने की कोशिश न करें; वे हास्केल में कुछ खास नहीं हैं और हर समय इस्तेमाल होते हैं।

Answer 2

आमतौर पर, यदि मुझे किसी फ़ंक्शन के लिए टेबल या कुछ प्रीकंप्यूट करने की आवश्यकता है, या ऐसे फ़ंक्शन के लिए बहुत सारे डेटा की आवश्यकता है, हाँ, यह बंद होने के रूप में किया जाएगा। उदाहरण के लिए, दूसरे दिन मेरे एआई होमवर्क पर, मैंने एक ऐसी चीज लिखी जो कई नमूनों से सीखा और फिर (Point -> Bool) फ़ंक्शन को पॉप आउट किया, लेकिन उस फ़ंक्शन को बहुत से डेटा पर निर्भर होना था जिसे मैं सीखने की प्रक्रिया से जमा करता था ।