तीन प्रतिमान

नमस्कार, हेब्र!

मैं रॉबर्ट सी। मार्टिन (अंकल बॉब) के लेख " थ्री पैराडाइज " का अनुवाद आपके ध्यान में लाता हूं।


पिछले 40 वर्षों में, हार्डवेयर प्रौद्योगिकियों ने परिमाण के बीस से अधिक आदेशों द्वारा हमारे उपकरणों की कंप्यूटिंग शक्ति में वृद्धि की है। अब हम अपने फोन पर एंग्री बर्ड खेलते हैं, जिसमें पिछली सदी के 70 के दशक के एक फ्री-कूल्ड सुपरकंप्यूटर की प्रोसेसिंग पावर है।

लेकिन उसी 40 वर्षों में, सॉफ्टवेयर प्रौद्योगिकी में बहुत बदलाव नहीं हुआ है। अंत में, हम अभी भी अगर, छोरों और असाइनमेंट ऑपरेटरों का उपयोग करते हैं जो हमने 60 के दशक में वापस उपयोग किया था। अगर मैं 1960 से एक प्रोग्रामर ले आया और उसे यहां लाया ताकि वह मेरे लैपटॉप पर बैठकर कोड लिख सके, तो उसे सदमे से उबरने में 24 घंटे लगेंगे, लेकिन वह यह कोड लिख सकता है। सिद्धांतों में इतना बदलाव नहीं हुआ है।

कार्यक्रम लिखने की प्रक्रिया में, तीन चीजें बदल गई हैं। मैं हार्डवेयर के बारे में बात नहीं कर रहा हूं, कंप्यूटर की गति के बारे में नहीं, और हमारे पास अविश्वसनीय उपकरणों के बारे में नहीं। मेरा मतलब कोड से ही है। कोड में तीन चीजें बदल गई हैं। आप उन्हें प्रतिमान कह सकते हैं। और वे सभी एक दशक से अधिक 40 साल पहले "खोजे गए" थे।

* 1968 - संरचनात्मक प्रोग्रामिंग । एड्स्जर डीजक्स्ट्रा ने अपना लेख लिखा: "गो टू ऑपरेटर के खतरे" और कई अन्य दस्तावेजों और लेखों में बेलगाम गो को अप्रोच करने का प्रस्ताव दिया गया है, इसे ऐसे टूल्स से बदलना जैसे कि / फिर / और जबकि लूप हो।

* 1966 - ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग । ओले-जोहान डाहल और क्रिस्टन न्यागोर ने अल्गोल भाषा, "डिस्कवर" वस्तुओं का अध्ययन किया और पहली वस्तु-उन्मुख भाषा, सिमूला -67 का निर्माण किया। इस तथ्य के बावजूद कि इस उपलब्धि में बहुत संभावनाएं हैं, इसने हमारे कोड में कोई नई सुविधाएँ नहीं लाई हैं। इसके अलावा, यह एक हटा दिया। आखिरकार, बहुरूपता के आगमन के साथ, कार्यों के लिए संकेत की आवश्यकता गायब हो गई, लेकिन वास्तव में गायब हो गई।

* 1957 - कार्यात्मक प्रोग्रामिंग । जॉन मैक्कार्थी ने पहली कार्यात्मक भाषा लिस्प का निर्माण किया। लिस्प 30 के दशक में अलोंजो चर्च द्वारा बनाए गए लैम्ब्डा कैलकुलस पर आधारित था। यद्यपि कार्यात्मक प्रोग्रामिंग के लिए कई संभावनाएं हैं, सभी कार्यात्मक कार्यक्रमों में एक बड़ी सीमा है। वे असाइनमेंट का उपयोग नहीं करते हैं।

तीन प्रतिमान। तीन सीमाएँ। स्ट्रक्चरल प्रोग्रामिंग प्रत्यक्ष नियंत्रण हस्तांतरण के लिए नियम निर्धारित करता है। ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग नियंत्रण के अप्रत्यक्ष हस्तांतरण के लिए नियमों का परिचय देता है। कार्यात्मक प्रोग्रामिंग असाइनमेंट पर प्रतिबंध का परिचय देती है। इन सभी प्रतिमानों ने कुछ छीन लिया है। उनमें से किसी ने कोई नई सुविधा नहीं जोड़ी। उनमें से प्रत्येक ने आवश्यकताओं में वृद्धि की है और अवसरों को कम किया है।

क्या हम एक और प्रतिमान बना सकते हैं? क्या कुछ और है जिसे हटाया जा सकता है?

40 वर्षों से कोई नया प्रतिमान नहीं आया है, इसलिए शायद यह एक अच्छा संकेत है कि देखने के लिए अधिक कुछ नहीं है।

क्या हमें इन सभी प्रतिमानों का उपयोग करना चाहिए, या क्या हम चुन सकते हैं?

समय के साथ, हमने उन्हें लागू करने का फैसला किया। पहली संरचित प्रोग्रामिंग की शुरूआत गो टू सिद्धांत के उन्मूलन (संभवत: अपने लेख में दीजकस्ट्रा की सिफारिश के अनुसार) द्वारा की गई थी। हमारी आधुनिक भाषाओं में कार्यों को पॉलीमॉर्फिज़्म (जैसे जावा, सी #, रूबी) का उपयोग करके पॉइंटर्स की जगह ओओपी को सफलतापूर्वक लागू किया गया है। इसलिए, कम से कम इन दोनों के लिए, इस प्रश्न का उत्तर यह है कि हम उनका उपयोग अवश्य करते हैं। अन्य सभी विकल्पों को बाहर रखा गया या कम से कम गंभीर रूप से सीमित किया गया।

लेकिन कार्यात्मक प्रोग्रामिंग के बारे में क्या? क्या हमें उन भाषाओं का उपयोग करना चाहिए जिनके पास असाइनमेंट ऑपरेटर नहीं है? शायद हाँ! हम पहले से ही कोड लिख रहे हैं जो कई कोर पर अच्छी तरह से काम करना चाहिए, और ये कोर खरगोशों की तरह गुणा करते हैं। मेरे लैपटॉप में 4 कोर हैं। मेरे अगले एक की सबसे अधिक संभावना होगी। 16 के बाद एक। आप बस तक पहुँचने के अधिकार के लिए लड़ रहे 4096 प्रोसेसर के साथ विश्वसनीय कोड कैसे लिखने जा रहे हैं?
हम काम करने के लिए मुश्किल से दो समानांतर धागे प्राप्त कर सकते हैं, 2 ^ एन प्रोसेसर का उल्लेख नहीं करने के लिए।

कार्यात्मक प्रोग्रामिंग इस समस्या को हल करने का एक महत्वपूर्ण हिस्सा क्यों है? क्योंकि इस तरह के कार्यक्रम असाइनमेंट का उपयोग नहीं करते हैं, जिसका अर्थ है कि उनके साइड इफेक्ट नहीं हैं और इसलिए, अपडाउनटैबिलिटी के साथ संबद्ध समस्याएं नहीं हैं - कम से कम यह सिद्धांत है।

हम भविष्य के ब्लॉग में कार्यात्मक प्रोग्रामिंग के बारे में अधिक बात करेंगे। ऊपर बताए गए तीन प्रतिमानों में मुझे क्या प्रहार है, उनकी तारीखें हैं। वे प्राचीन हैं, मुझसे लगभग पुराने हैं। और जब से मैं 16 साल की हूं, 42 साल पहले, कोई नया नहीं हुआ।