कार्यात्मक प्रोग्रामिंग: अपरिवर्तनीय डेटा संरचना दक्षता

Question

मुझे समझ नहीं आता, कैसे एफपी compilers अपरिवर्तनीय डेटा संरचनाओं के साथ काम तेजी से, नहीं उड़ा ढेर कोड बनाने, आदि

उदाहरण के लिए, पेड़ में ऑपरेशन डालें, यह है नए नोड को जोड़ने से पहले पूरे पेड़ की प्रतिलिपि बनाने और कॉपी किए गए पेड़ को वापस करने के लिए, अनिवार्य कटरपार्ट बनाम केवल नए नोड में एक सूचक जोड़ने की जरूरत है। यदि सम्मिलन ऑपरेशन लाखों बार चलाया जाता है, तो इसमें स्मृति का भार लगेगा, और पेड़ बड़ा होने पर प्रतिलिपि धीमी और धीमी हो जाएगी। एफपी कंपाइलर्स वास्तव में इसे कैसे अनुकूलित करते हैं?

Answer 1

आपको बदलाव करने के लिए पूरे पेड़ की प्रतिलिपि बनाने की आवश्यकता नहीं है; आप अधिकांश संरचना साझा कर सकते हैं। उदाहरण देखें क्लोजर पर रिच हिकी द्वारा this blog, या this talk में आरेख (हैश की चर्चा के माध्यम से आधे रास्ते की कोशिश करता है) देखें।

Answer 2

Zipper data structure पर एक नज़र डालें।

Answer 3

कंपाइलर वास्तव में इसे अनुकूलित नहीं करेगा, यह कुछ ऐसा है जो आपको विशेष रूप से कोडिंग के दौरान प्रोग्राम करना है। ऐसा करने के लिए तकनीक उत्कृष्ट शुद्ध रूप से कार्यात्मक डेटा संरचनाओं में वर्णित हैं (book, thesis)।

Answer 4

यदि कचरा कलेक्टर अपना काम कर रहा है, तो डेटा संरचना की पुरानी प्रतियों का पुन: दावा किया जाएगा जब उनका उपयोग नहीं किया जा रहा है।