(मुझे यकीन है कि इस साइट पर पहले से ही इसका उत्तर दिया जाना चाहिए था, लेकिन खोज सी) में एक चर पर मुफ्त() को कॉल करने की अवधारणा के साथ गड़बड़ हो जाती है।"फ्री वैरिएबल" क्या है?
मैं "ईटा कमी" शब्द में आया था, जिसे f x = M x ==> M
जैसे कुछ परिभाषित किया गया था यदि x "एम में मुक्त नहीं है"। मेरा मतलब है, मुझे लगता है कि मैं जो कहने की कोशिश कर रहा हूं उसके बारे में समझता हूं, ऐसा लगता है कि जब आप फ़ंक्शन को पॉइंट-फ्री शैली में परिवर्तित करते हैं तो आप ऐसा करते हैं, लेकिन मुझे नहीं पता कि एक्स के बारे में क्वालीफायर क्या मुफ्त साधन नहीं है।
माइनर नाइटपिक: यदि यह बाध्य है, तो 'x' का उपयोग करने के लिए यह ठीक हो सकता है। ईटा-कम करने '(\ x -> (\ x -> x + x) x) 'से' (\ x -> x + x)' पूरी तरह से ठीक है, भले ही '(\ x -> x + x)' 'x' के दो उपयोग शामिल हैं। यह एक कोने का मामला है जो मानव लिखित कोड से निपटने में ज्यादा दिखाई नहीं देगा, लेकिन मुझे लगता है कि कंपाइलर्स इस बार अधिक बार दौड़ेंगे। – yatima2975
मैंने वहां थोड़ा सा शब्द गड़बड़ कर दिया। "लेकिन केवल अगर 'x' का उपयोग नहीं किया जाता है (यानी मुक्त नहीं)" होना चाहिए "लेकिन केवल तभी जब' x' मुक्त नहीं है (यानी इसका उपयोग नहीं किया जाता है या तर्क है)"। मैंने मूल रूप से इसे इस तरह लिखा था लेकिन इसे आसान बनाने के लिए इसे दूसरी तरफ बदल दिया। दुर्भाग्य से उस अर्थ को बदल दिया :) – porges