खैर, दोनों बहुत, बहुत बहुत गलत समझे हैं और दो पूरी तरह से अलग चीजें भी हैं। यह परस्पर अनन्य नहीं हैं ।
स्थैतिक प्रकार भाषा के व्याकरण का प्रतिबंध है। वैधानिक रूप से टाइप किए गए लैंगग्यूज को कड़ाई से संदर्भ मुक्त नहीं कहा जा सकता है। सरल सत्य यह है कि किसी भाषा को संदर्भ मुक्त व्याकरण में स्पष्ट रूप से व्यक्त करना असुविधाजनक हो जाता है जो अपने सभी डेटा को केवल बिट वैक्टर के रूप में नहीं मानता है। स्टेटिक टाइप सिस्टम भाषा के व्याकरण का हिस्सा हैं यदि कोई हो, तो वे इसे केवल एक संदर्भ मुक्त व्याकरण की तुलना में अधिक प्रतिबंधित कर सकते हैं, व्याकरणिक जांच इस प्रकार वास्तव में स्रोत पर दो पास में होती हैं। स्टैटिक प्रकार, प्रकार के सिद्धांत की गणितीय धारणा के अनुरूप होते हैं, गणित में टाइप थ्योरी कुछ अभिव्यक्तियों की वैधता को सीमित करती है। जैसे, मैं 3 + [4,7]गणित में नहीं कह सकता , यह इस प्रकार के सिद्धांत के कारण है।
इस प्रकार स्थैतिक प्रकार एक सैद्धांतिक दृष्टिकोण से 'त्रुटियों को रोकने' का तरीका नहीं है, वे व्याकरण की एक सीमा है। वास्तव में, बशर्ते कि +, 3 और अंतराल में सामान्य रूप से निर्धारित सैद्धांतिक परिभाषाएं हों, अगर हम टाइप प्रणाली 3 + [4,7]को हटाते हैं तो एक बहुत अच्छी तरह से परिभाषित परिणाम होता है जो एक सेट है। 'रनटाइम टाइप एरर' सैद्धांतिक रूप से मौजूद नहीं है, जिस प्रकार की प्रणाली का व्यावहारिक उपयोग मानव को होने वाले संचालन को रोकने के लिए है को कोई मतलब नहीं होगा। संचालन अभी भी केवल बिट्स के स्थानांतरण और हेरफेर हैं।
इसके लिए पकड़ यह है कि एक प्रकार की प्रणाली यह तय नहीं कर सकती है कि इस तरह के ऑपरेशन होने वाले हैं या नहीं अगर इसे चलाने की अनुमति दी जाएगी। जैसा कि, उन सभी संभावित कार्यक्रमों के सेट को विभाजित करता है जो एक 'प्रकार की त्रुटि' होने वाले हैं, और जो नहीं हैं। यह केवल दो काम कर सकता है:
1: साबित करें कि प्रोग्राम में टाइप एरर होने वाली हैं
2: यह साबित करें कि वे किसी प्रोग्राम में नहीं जा रहे हैं
ऐसा लग सकता है कि मैं खुद का विरोध कर रहा हूं। लेकिन C या Java टाइप चेकर क्या करता है, क्या यह किसी प्रोग्राम को 'ungrammatical' के रूप में अस्वीकार करता है, या जैसा कि इसे 'टाइप एरर' कहता है, यदि यह 2 पर सफल नहीं हो सकता। यह साबित नहीं कर सकता कि वे होने वाले नहीं हैं, इसका मतलब यह नहीं है कि वे होने वाले नहीं हैं, इसका मतलब यह है कि यह साबित नहीं कर सकता है। यह बहुत अच्छी तरह से हो सकता है कि एक प्रोग्राम जिसमें एक प्रकार की त्रुटि नहीं होगी, केवल इसलिए खारिज कर दिया जाता है क्योंकि यह संकलक द्वारा सिद्ध नहीं किया जा सकता है। एक सरल उदाहरण हैif(1) a = 3; else a = "string";, निश्चित रूप से यह हमेशा सच है, अन्य-शाखा को कभी भी कार्यक्रम में निष्पादित नहीं किया जाएगा, और किसी भी प्रकार की त्रुटि नहीं होगी। लेकिन यह इन मामलों को सामान्य तरीके से साबित नहीं कर सकता है, इसलिए इसे खारिज कर दिया गया है। यह कई प्रकार की वैधानिक रूप से टाइप की जाने वाली भाषाओं की प्रमुख कमजोरी है, जो आपको अपने आप को बचाने में, आप जरूरी नहीं कि ऐसे मामलों में भी सुरक्षित हैं।
लेकिन, लोकप्रिय धारणा के विपरीत, वहाँ भी सांख्यिकीय रूप से टाइप की जाने वाली भाषाएं हैं जो सिद्धांत 1 से काम करती हैं। वे बस उन सभी कार्यक्रमों को अस्वीकार कर देती हैं, जिनमें वे साबित कर सकती हैं कि यह एक प्रकार की त्रुटि पैदा करने वाला है, और उन सभी कार्यक्रमों को पारित करें, जिनमें वे नहीं कर सकते। इसलिए यह संभव है कि वे उन कार्यक्रमों की अनुमति दें जिनमें उनके प्रकार की त्रुटियां हैं, एक अच्छा उदाहरण टाइप्ड रैकेट है, यह गतिशील और स्थिर टाइपिंग के बीच हाइब्रिड है। और कुछ का तर्क होगा कि आप इस प्रणाली में दोनों दुनियाओं में सर्वश्रेष्ठ हैं।
स्टैटिक टाइपिंग का एक और फायदा यह है कि कंपाइल समय पर प्रकारों को जाना जाता है, और इस प्रकार कंपाइलर इसका उपयोग कर सकते हैं। यदि हम जावा में करते हैं "string" + "string"या 3 + 3, +अंत में पाठ में दोनों टोकन पूरी तरह से अलग ऑपरेशन और डेटम का प्रतिनिधित्व करते हैं, तो संकलक जानता है कि अकेले किस प्रकार से चुनना है।
अब, मैं यहाँ एक बहुत ही विवादास्पद बयान देने जा रहा हूँ लेकिन मेरे साथ है: 'डायनेमिक टाइपिंग' मौजूद नहीं है ।
बहुत विवादास्पद लगता है, लेकिन यह सच है, गतिशील रूप से टाइप की गई भाषाएं सैद्धांतिक दृष्टिकोण से अनछुई हैं । वे केवल एक प्रकार के साथ केवल सांख्यिकीय रूप से टाइप की जाने वाली भाषाएं हैं। या सीधे शब्दों में कहें, तो वे ऐसी भाषाएं हैं जो वास्तव में व्यवहार में एक संदर्भ मुक्त व्याकरण द्वारा उत्पन्न होती हैं।
उनके पास प्रकार क्यों नहीं हैं? क्योंकि हर ऑपरेशन को परिभाषित किया गया है और हर ऑपरेटर पर अनुमति दी गई है, वास्तव में 'रनटाइम टाइप त्रुटि' क्या है? यह एक सैद्धांतिक उदाहरण से विशुद्ध रूप से एक साइड-इफेक्ट है । यदि ऐसा करना print("string")जो एक स्ट्रिंग को प्रिंट करता है एक ऑपरेशन है, तो ऐसा है length(3), पूर्व में stringमानक आउटपुट पर लिखने का दुष्प्रभाव है , बाद में बस error: function 'length' expects array as argument., यही है। एक सैद्धांतिक दृष्टिकोण से गतिशील रूप से टाइप की गई भाषा जैसी कोई चीज नहीं है। वे अनछुए हैं
ठीक है, 'डायनामिकली टाइप्ड' भाषा का स्पष्ट लाभ अभिव्यंजक शक्ति है, एक प्रकार की प्रणाली और कुछ नहीं बल्कि अभिव्यंजक शक्ति की एक सीमा है। और सामान्य तौर पर, एक प्रकार की प्रणाली वाली भाषाएं वास्तव में उन सभी परिचालनों के लिए एक परिभाषित परिणाम होती हैं जिनकी अनुमति नहीं होती है यदि प्रकार प्रणाली को केवल अनदेखा किया जाता है, तो परिणाम केवल मनुष्यों के लिए समझ में नहीं आएंगे। कई भाषाएं एक प्रकार की प्रणाली लागू करने के बाद अपनी ट्यूरिंग पूर्णता खो देती हैं।
स्पष्ट नुकसान तथ्य यह है कि संचालन हो सकता है जो ऐसे परिणाम उत्पन्न करेगा जो मानव के लिए निरर्थक हैं। इसके विरुद्ध रक्षा के लिए, डायनामिक रूप से टाइप की गई भाषाएं आमतौर पर उन परिचालनों को पुनर्परिभाषित करती हैं, बजाय इसके कि निरर्थक परिणाम उत्पन्न करने के बजाय वे इसे फिर से लिखने के दुष्परिणाम होने के लिए इसे फिर से परिभाषित करें, और संभवतः कार्यक्रम को पूरी तरह से रोक दें। यह बिल्कुल भी 'त्रुटि' नहीं है, वास्तव में, भाषा विनिर्देश आमतौर पर इसका तात्पर्य है, यह भाषा का उतना ही व्यवहार है जितना कि एक सैद्धांतिक दृष्टिकोण से एक स्ट्रिंग को प्रिंट करना। टाइप सिस्टम इस प्रकार प्रोग्रामर को यह सुनिश्चित करने के लिए कोड के प्रवाह के बारे में तर्क करने के लिए मजबूर करते हैं कि ऐसा नहीं होता है। या वास्तव में, इसका कारण यह है कि यह करता हैडिबगिंग के लिए कुछ बिंदुओं में भी काम हो सकता है, यह दर्शाता है कि यह 'त्रुटि' नहीं है, लेकिन भाषा की अच्छी तरह से परिभाषित संपत्ति है। वास्तव में, 'डायनेमिक टाइपिंग' का एकमात्र अवशेष जो अधिकांश भाषाओं में शून्य के द्वारा विभाजन के विरुद्ध रखवाली करता है। यह वह है जो डायनेमिक टाइपिंग है, कोई प्रकार नहीं हैं, कोई अन्य प्रकार नहीं हैं, जो शून्य अन्य सभी संख्याओं की तुलना में एक अलग प्रकार है। जिसे लोग 'टाइप' कहते हैं, वह एक डेटम की दूसरी प्रॉपर्टी है, जैसे एरे की लंबाई या स्ट्रिंग का पहला कैरेक्टर। और कई गतिशील रूप से टाइप की गई भाषाएं भी आपको बाहर की चीजें लिखने देती हैं "error: the first character of this string should be a 'z'"।
एक और बात यह है कि गतिशील रूप से टाइप की गई भाषाओं में रनटाइम के प्रकार उपलब्ध होते हैं और आमतौर पर इसे जांच सकते हैं और इससे निपट सकते हैं और इससे निर्णय ले सकते हैं। बेशक, सिद्धांत रूप में यह किसी सरणी के पहले चार्ट तक पहुँचने और यह क्या है, इसे देखने से अलग नहीं है। वास्तव में, आप अपना स्वयं का डायनामिक सी बना सकते हैं, बस एक प्रकार का उपयोग करें जैसे लंबे लंबे इंट और इसके पहले 8 बिट्स का उपयोग करके अपने 'टाइप' को स्टोर करें और उसी के अनुसार फ़ंक्शन लिखें और इसके लिए फ़्लोट या पूर्णांक जोड़ दें। आपके पास एक प्रकार, या एक गतिशील भाषा के साथ एक सांख्यिकीय रूप से टाइप की गई भाषा है।
व्यवहार में, यह सभी दिखाता है, आमतौर पर टाइप की जाने वाली भाषाओं का उपयोग आमतौर पर व्यावसायिक सॉफ़्टवेयर लिखने के संदर्भ में किया जाता है, जबकि गतिशील रूप से टाइप की जाने वाली भाषाओं का उपयोग कुछ समस्याओं को हल करने और कुछ कार्यों को स्वचालित करने के संदर्भ में किया जाता है। सांख्यिकीय रूप से टाइप की गई भाषाओं में कोड लिखना केवल लंबा लगता है और बोझिल होता है क्योंकि आप उन चीजों को नहीं कर सकते हैं जिन्हें आप जानते हैं कि आप ठीक करने जा रहे हैं, लेकिन टाइप सिस्टम अभी भी आपके द्वारा त्रुटियों के लिए आपके विरुद्ध सुरक्षा नहीं करता है। कई कोडर्स को यह भी एहसास नहीं होता है कि वे ऐसा इसलिए करते हैं क्योंकि यह उनके सिस्टम में है, लेकिन जब आप स्थिर भाषाओं में कोड करते हैं, तो आप अक्सर इस तथ्य के इर्द-गिर्द काम करते हैं कि टाइप सिस्टम आपको ऐसे काम नहीं करने देगा, जो गलत नहीं हो सकते, क्योंकि यह यह साबित नहीं होगा कि यह गलत नहीं होगा।
जैसा कि मैंने उल्लेख किया, सामान्य रूप से केस 2 में 'स्टेटिकली टाइप्ड', निर्दोष साबित होने तक दोषी। लेकिन कुछ भाषाएं, जो सभी प्रकार के नियम 1: निर्दोष साबित होने तक निर्दोष प्रकार के सिद्धांत से अपने प्रकार प्रणाली को प्राप्त नहीं करती हैं, जो आदर्श संकर हो सकती हैं। तो, शायद टाइप्ड रैकेट आपके लिए है।
इसके अलावा, अच्छी तरह से, एक और बेतुका और चरम उदाहरण के लिए, मैं वर्तमान में एक भाषा लागू कर रहा हूं जहां 'प्रकार' वास्तव में एक सरणी का पहला चरित्र है, वे डेटा हैं, 'प्रकार', 'प्रकार' का डेटा, जो स्वयं है एक प्रकार और डेटम, एकमात्र डेटम जो स्वयं एक प्रकार के रूप में है। प्रकार सांख्यिकीय रूप से परिमित या बाध्य नहीं हैं, लेकिन रनटाइम जानकारी के आधार पर नए प्रकार उत्पन्न हो सकते हैं।