मैं "रियल वर्ल्ड के लिए कार्यात्मक प्रोग्रामिंग" पुस्तक पढ़ रहा था। यह अनिवार्य और कार्यात्मक प्रोग्रामिंग भाषाओं के बीच तुलना के साथ शुरू हुआ। और यह कहा गया है कि कार्यात्मक प्रोग्रामिंग में 'मूल्य' और 'अभिव्यक्ति' कैसे 'चर' और 'अनिवार्य कार्य' से अलग हैं। चर्चा से मैंने एक विचार विकसित किया कि -
कार्यात्मक प्रोग्रामिंग भाषाओं में उनके अनिवार्य समकक्षों की तुलना में समय अनुकूलन करने का अधिक अवसर होता है।
क्या यह सच है?
जवाबों:
कार्यात्मक प्रोग्रामिंग भाषाएं बहुत अधिक संकलन समय अनुकूलन करती हैं। एक कारण शुद्धता है - समसामयिकता तुच्छ है क्योंकि कोई राज्य नहीं है। इसलिए संकलक दो शाखाओं को ले सकता है और कार्यक्रम के व्यवहार को बदलने के बिना उन्हें आसानी से सहमति दे सकता है।
उसी समय, कुछ भी जो राज्य के बिना गणना की जा सकती है (यानी हैसेल में कुछ भी गैर-मोनडिक), संकलक द्वारा आगे-समय की गणना की जा सकती है, लेकिन इस तरह की गणना महंगी हो सकती है और इस तरह शायद केवल आंशिक रूप से की जाती है।
इसके अतिरिक्त, कुछ भी जो कम्प्यूटेशनल रूप से आवश्यक नहीं है, उसे पूरी तरह से प्रोग्राम से बाहर कर दिया जा सकता है।
कार्यात्मक भाषाओं के लिए सिद्धांत रूप में अधिक अनुकूल समय अनुकूलन संभावनाएं हैं क्योंकि उनके अनिवार्य समकक्षों के लिए संभवतः सही है।
हालांकि अधिक दिलचस्प है, अगर वे वास्तव में वर्तमान संकलकों में लागू किए जाते हैं और ये अनुकूलन व्यवहार में कितने प्रासंगिक हैं (यानी उत्पादन वातावरण में मुहावरेदार 'वास्तविक जीवन (टीएम) कोड का अंतिम प्रदर्शन, एक पूर्वानुमेय संकलक सेटिंग्स के साथ)।
कुख्यात कंप्यूटर लैंग्वेज बेंचमार्क गेम के लिए हास्केल सबमिशन जैसे (खराब हो सकता है - लेकिन यह ऐसा नहीं है कि इस समय है - इस समय वहां से कुछ भी बेहतर है) यह धारणा दें कि समय की एक महत्वपूर्ण राशि खर्च की गई है मैनुअल ऑप्टिमाइज़ेशन, जो "संभावित संकलक अनुकूलन के कारण" के दावे के साथ सामना insert some property about FP languages hereकरता है, यह ऐसा लगता है कि अनुकूलन एक प्रासंगिक वास्तविकता की तुलना में सैद्धांतिक संभावना से अधिक (वर्तमान में कम से कम) हैं।
मुझे खुशी होगी कि इस बिंदु पर गलत साबित होने के लिए।
कार्यात्मक शैली में, एक कार्यक्रम के माध्यम से मूल्यों का प्रवाह बहुत, बहुत दृश्यमान (संकलक और प्रोग्रामर दोनों के लिए) है। यह संकलक को यह निर्धारित करने के लिए बहुत सारे रास्ते देता है कि मूल्यों को कहाँ संग्रहीत करना है, उन्हें कितने समय तक रखना है, और इसी तरह।
एक अनिवार्य भाषा में, कंपाइलर प्रोग्रामर को एक मॉडल का वादा करता है जहां अधिकांश चर स्मृति में वास्तविक स्थानों के अनुरूप होते हैं जो परिभाषित जीवनकाल के लिए आसपास रहते हैं। संभावित रूप से, कोई भी बयान इनमें से किसी भी स्थान से पढ़ सकता है (या लिख सकता है), इसलिए कंपाइलर केवल मेमोरी स्थानों को रजिस्टर आवंटन के साथ बदल सकता है, दो चर को एक एकल भंडारण स्थान में मर्ज कर सकता है, या जहां एक श्रमसाध्य विश्लेषण करने के बाद समान अनुकूलन कर सकता है। उस प्रोग्राम में जो परिवर्तनशील हो सकता है।
अब, दो कैविएट हैं:
लेकिन सामान्य प्रश्न का उत्तर देने के लिए, हाँ, एक कार्यात्मक प्रतिमान कंपाइलर को यह अनुकूलन करने के लिए बहुत अधिक स्वतंत्रता देता है कि यह एक अनिवार्य सेटिंग में नहीं है।
mainराज्य बदलने वाला कार्य है जो राज्य का उपयोग करता है।