🏴󠁧󠁢󠁥󠁮󠁧󠁿 💂 👵🏼 EcmaScript के दृष्टिकोण से कार्यात्मक प्रोग्रामिंग। शुद्ध कार्य, लंबोदर, प्रतिरक्षा 🐜 👧🏽 🧖

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

आज हम एक बहुत ही महत्वपूर्ण विषय पर बोलना शुरू करेंगे - कार्यात्मक प्रोग्रामिंग। आधुनिक वेब विकास में एफपी का महत्व बहुत कठिन है। किसी भी बड़े पैमाने पर आधुनिक परियोजना की वास्तुकला में उपयोगकर्ता-परिभाषित फ़ंक्शन लाइब्रेरी शामिल हैं, और किसी भी स्तर पर साक्षात्कार में एफआई पर अनिवार्य प्रश्न होंगे।

कार्यात्मक प्रोग्रामिंग का परिचय

फ़ंक्शनल प्रोग्रामिंग (एफपी) फ़ंक्शन का एक सेट लिखकर कोड को व्यवस्थित करने का एक तरीका है।

EcmaScript, एक बहु-प्रतिमान प्रोग्रामिंग भाषा होने के नाते, दूसरों के बीच एक कार्यात्मक प्रतिमान है। इसका मतलब है कि ES में फ़ंक्शन डेटा हैं और फ़ंक्शंस से पास किए जा सकते हैं, फ़ंक्शंस से लौट सकते हैं, और फ़ंक्शंस को स्वयं स्वीकार कर सकते हैं। यानी ES में कार्य प्रथम श्रेणी के कार्य हैं ।

इसके बाद की निम्नलिखित परिभाषाएँ हैं:

कार्यात्मक तर्क (फ़ारग) - एक तर्क जिसका मूल्य एक फ़ंक्शन है।

एक उच्च-क्रम फ़ंक्शन (एफडब्ल्यूपी, उच्च-ऑर्डर-फ़नक्शन, हॉफ़) एक ऐसा फ़ंक्शन है जो कार्यों को तर्क के रूप में स्वीकार करता है।

फ़ंक्शनल वैल्यू के साथ फ़ंक्शंस (फ़ंक्शन मूल्यवान फ़ंक्शन) - एक फ़ंक्शन जो एक फ़ंक्शन देता है।

इन सभी प्रकार के कार्यों को सशर्त रूप से प्रथम श्रेणी के कार्यों में जोड़ा जाता है, और, जैसा कि ऊपर दिए गए परिभाषा से निम्नानुसार है, सभी कार्यों में प्रथम श्रेणी की वस्तुएं हैं।

शुद्ध कार्य - कार्यात्मक प्रोग्रामिंग का आदर्श

शुद्ध कार्य (पीएफ) - हमेशा एक अनुमानित परिणाम लौटाते हैं।
पीएफ गुण:

पीएफ निष्पादन का परिणाम केवल पारित तर्कों और पीएफ को लागू करने वाले एल्गोरिदम पर निर्भर करता है
वैश्विक मूल्यों का उपयोग न करें
बाहर के मूल्यों या पारित तर्कों को संशोधित न करें
डेटा को फाइल, डेटाबेस या कहीं और न लिखें

शुद्ध कार्य का एक उदाहरण:

const add = (x,y) => x+y;

फ़ंक्शन अशुद्धता का एक अच्छा उदाहरण है:

 var first; var second; function testFn() { var a = 10; first = function() { return ++a; } second = function() { return --a; } a = 2; first();//3 } testFn(); first();//4 second();//3

कल्पना कीजिए कि इस उदाहरण के लिए परीक्षण लिखना कितना जटिल है और यह शुद्ध कार्यों के लिए कितना सरल है!

Impure फ़ंक्शन एक अलग-अलग बाहरी राज्य की विशेषता है जो कोड के रखरखाव, समझ और परीक्षण को जटिल करता है।

इसके विपरीत, शुद्ध कार्य हमेशा पठनीय, परीक्षण योग्य होते हैं, गणना के समानांतर को सरल बनाते हैं, और पुन: उपयोग करने में आसान होते हैं।

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

लंबोदर - कार्य

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

1930 के दशक में अलोंजो चर्च द्वारा लैंबडा कैलकुलस शब्द को वापस लाया गया था। संक्षेप में, लैम्ब्डा कैलकुलस गणितीय समीकरण का वर्णन करने के एक औपचारिक रूप से ज्यादा कुछ नहीं है। अधिक जानकारी यहाँ ।

ES में, एक लैम्ब्डा फ़ंक्शन बहुत बार एक क्लोजर को लागू करता है:

 const add = x => y => x + y;

संक्षिप्त और संक्षिप्त। ऐड फंक्शन एक लैम्ब्डा है जो एक तर्क x लेता है, इसे एक क्लोजर में स्टोर करता है, और एक फंक्शन लौटाता है।

इस कोड के साथ तुलना करें:

 funtion add(x) { return function (y) { return x + y; } }

जाहिर है, पहला विकल्प बेहतर दिखता है।

Imutabelnost

अपरिवर्तनीय (अपरिवर्तनीय, उन्मुक्ति) एक ऐसी वस्तु है जिसकी स्थिति निर्माण के बाद नहीं बदली जा सकती। ऐसी वस्तु के किसी भी संशोधन का परिणाम हमेशा एक नई वस्तु होगी, जबकि पुरानी वस्तु नहीं बदलेगी।

अपरिवर्तनीयता कार्यात्मक प्रोग्रामिंग की सुनहरी कब्र है।

एक उदाहरण पर विचार करें:

 const impureAddProp = (key, value, object) => { object[key] = value;//   }; const User= { name: 'Alex' }; impureAddProp ('isAdmin', true, User);

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

कार्यात्मक प्रोग्रामिंग के दृष्टिकोण से, यह सही होगा:

 const pureAddProp = (key, value, object) => ({ ...object, [key]: value }); const User= { name: 'Alex' }; const Admin= pureAddProp ('isAdmin', true, User);

तो उपयोगकर्ता ऑब्जेक्ट अपरिवर्तित रहेगा। हम डेटा की एक प्रति संशोधित कर रहे हैं, जो हमेशा सुरक्षित रहती है।

निष्कर्ष

आज हमने कई महत्वपूर्ण सैद्धांतिक अवधारणाओं की जांच की है। हम शुद्ध कार्यों, रिकॉर्डिंग कार्यों के मेमने के रूप और fp में अपरिवर्तनीयता की अवधारणा से परिचित हुए। हालाँकि, यह लेख एक तरह का परिचय है। कार्यात्मक प्रोग्रामिंग के मुख्य विचार, तकनीक और "कठिन भाग" निम्नलिखित लेखों में होंगे।

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

उपसंहार

लेख लिखना शुरू करना, मुझे निम्नलिखित योजना को ध्यान में रखना था:

दिलचस्प अंग्रेजी भाषा के लेखों के अनुवाद लिखें
जेएस में कई प्रासंगिक क्षेत्रों को उजागर करने के लिए (प्रमुख अवधारणाएं, एक्मास्क्रिप्ट विनिर्देशों, पैटर्न, कार्यात्मक प्रोग्रामिंग के संदर्भ में ओओपी)।

आज तक, तीन क्षेत्रों में प्रमुख लेख पहले ही लिखे जा चुके हैं:

EcmaScript में यह और स्कोपचिन - यहाँ मैंने विनिर्देशन की ऐसी प्रमुख अवधारणाओं को निष्पादन संदर्भ, इस कीवर्ड और स्कोपचिन संदर्भ संपत्ति (स्कोप चेन) के रूप में वर्णित किया है। इस दिशा के ढांचे में, लेक्सिकल पर्यावरण और क्लोजर पर मेरा लेख आज सचमुच प्रकाशित हुआ था।
ओओपी के सामान्य सिद्धांत पर एक्मास्क्रिप्ट से एक नज़र - यहां स्थिर वर्ग टाइपिंग और डायनामिक प्रोटोटाइप संगठन के बीच अंतर का वर्णन किया गया था, प्रतिनिधि मॉडल और बतख टाइपिंग को डिसाइड किया गया था
आधुनिक जावास्क्रिप्ट में सुरुचिपूर्ण पैटर्न (चक्र पर बिल सॉरर संकलन श्रृंखला) - यहां दो पैटर्न हैं जो कुछ स्थितियों में उपयोगी हो सकते हैं। पैटर्न के संदर्भ में मेरा दृष्टिकोण काफी सरल है: जितना संभव हो उतने पैटर्न को जानना बेहतर है, क्योंकि जल्दी या बाद में काम आते हैं

और अब यह कार्यात्मक प्रोग्रामिंग की बारी है। भविष्य में, मैं इनमें से प्रत्येक क्षेत्र की निरंतरता में लेख लिखूंगा। उदाहरण के लिए, अगला लेख ओओपी की प्रमुख अवधारणाओं के बारे में होगा: एनकैप्सुलेशन, एब्स्ट्रक्शन, अशुद्धियां (और स्ट्रोक), इंटरफेस, आदि ... मैं इस बारे में भी बात करने की योजना बनाता हूं कि ईएसओपी को हुड के तहत कैसे लागू किया जाता है, अर्थात्। [[प्रोटोटाइप]], [[क्लास]] और भी बहुत कुछ के गुणों के बारे में। बात करें कि v8 कैसे संस्थाओं और वर्गों, कार्यों के उदाहरण बनाता है।

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

लेखों में, मैं या तो अवधारणाओं की समीक्षा करता हूं, यह बताता हूं कि उन्हें हुड के तहत कैसे व्यवस्थित किया जाता है (मेरी राय में, यह इस बात की समझ को बेहतर बनाता है कि हम क्या लिखते हैं और क्यों लिखते हैं), या मैं कुछ चीजों के बारे में बात करता हूं जो मेरे क्षितिज को व्यापक बनाते हैं। मेरी राय में यह बहुत महत्वपूर्ण है। Yandex या Edadil जैसी कंपनियों पर एक नज़र डालें, वे लगातार कुछ तरह के मूल विचारों के बारे में बात करते हैं। या तो ये रिएक्शन में बिटमैप हैं, फिर वीयू एप्लिकेशन लगभग पूरी तरह से es6 क्लासेस पर है। ज्यादातर वेब डेवलपर्स ने ऐसा कभी नहीं सोचा होगा। इसके लिए एक व्यापक दृष्टिकोण की आवश्यकता है।

मैंने स्वयं इस तरह से वेब का अध्ययन और अध्ययन किया, अर्थात्। एक ट्यूटोरियल या डॉक पढ़ने के बाद, मैं यह समझने की कोशिश करता हूं कि वर्णित उपकरण हुड के नीचे कैसे काम करता है, इसके आंतरिक यांत्रिकी को समझने के लिए।

भविष्य के लेख तक, दोस्तों!