टाइप विलोपन: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[प्रोग्रामिंग भाषा]]ओं में, '''टाइप इरेज़र''' [[लोडर (कंप्यूटिंग)]] लोड-टाइम प्रक्रिया है जिसके द्वारा स्पष्ट प्रकार के एनोटेशन को रन-टाइम पर निष्पादित होने से पहले प्रोग्राम से हटा दिया जाता है। इस प्रकार ऑपरेशनल सेमेन्टिक्स को टाइप-पासिंग सिमेंटिक्स के विपरीत, [[परिचालन शब्दार्थ]] को प्रोग्राम के साथ टाइप करने की आवश्यकता नहीं होती है, इसे टाइप-इरेज़र सिमेंटिक्स नाम दिया जाता है। इस प्रकार टाइप-इरेज़र शब्दार्थ | [[प्रोग्रामिंग भाषा]]ओं में, '''टाइप इरेज़र''' [[लोडर (कंप्यूटिंग)]] लोड-टाइम प्रक्रिया है जिसके द्वारा स्पष्ट प्रकार के एनोटेशन को रन-टाइम पर निष्पादित होने से पहले प्रोग्राम से हटा दिया जाता है। इस प्रकार ऑपरेशनल सेमेन्टिक्स को टाइप-पासिंग सिमेंटिक्स के विपरीत, [[परिचालन शब्दार्थ]] को प्रोग्राम के साथ टाइप करने की आवश्यकता नहीं होती है, इसे टाइप-इरेज़र सिमेंटिक्स नाम दिया जाता है। इस प्रकार टाइप-इरेज़र शब्दार्थ [[अमूर्त सिद्धांत (कंप्यूटर प्रोग्रामिंग)]] है, जो यह सुनिश्चित करता है कि किसी प्रोग्राम का रन-टाइम निष्पादन प्रकार की जानकारी पर निर्भर नहीं करता है। इस प्रकार [[ सामान्य प्रोग्रामिंग |सामान्य प्रोग्रामिंग]] के संदर्भ में, टाइप इरेज़र के विपरीत को रेफिकेशन (कंप्यूटर साइंस) नाम दिया गया है।<ref>{{cite web|last1=Langer|first1=Angelika|title=What is reification?|url=http://www.angelikalanger.com/GenericsFAQ/FAQSections/TechnicalDetails.html#FAQ101A}}</ref> | ||
== अनुमान प्रकार == | == अनुमान प्रकार == | ||
रिवर्स ऑपरेशन को [[अनुमान टाइप करें|प्रकार अनुमान]] नाम दिया गया है। चूंकि '''टाइप इरेज़र''' अंतर्निहित रूप से टाइप की गई भाषाओं पर टाइपिंग को परिभाषित करने का | रिवर्स ऑपरेशन को [[अनुमान टाइप करें|प्रकार अनुमान]] नाम दिया गया है। चूंकि '''टाइप इरेज़र''' अंतर्निहित रूप से टाइप की गई भाषाओं पर टाइपिंग को परिभाषित करने का आसान विधि हो सकता है‚ इस प्रकार (अंतर्निहित टाइप किया गया शब्द अच्छी तरह से टाइप किया गया है और केवल तभी जब यह अच्छी तरह से टाइप किए गए स्पष्ट रूप से टाइप किए गए लैम्ब्डा शब्द का विलोपन है), इस प्रकार स्पष्ट रूप से टाइप किए गए शब्दों की जाँच करने के लिए एल्गोरिदम की आवश्यकता नहीं है । | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 13:54, 27 June 2023
प्रोग्रामिंग भाषाओं में, टाइप इरेज़र लोडर (कंप्यूटिंग) लोड-टाइम प्रक्रिया है जिसके द्वारा स्पष्ट प्रकार के एनोटेशन को रन-टाइम पर निष्पादित होने से पहले प्रोग्राम से हटा दिया जाता है। इस प्रकार ऑपरेशनल सेमेन्टिक्स को टाइप-पासिंग सिमेंटिक्स के विपरीत, परिचालन शब्दार्थ को प्रोग्राम के साथ टाइप करने की आवश्यकता नहीं होती है, इसे टाइप-इरेज़र सिमेंटिक्स नाम दिया जाता है। इस प्रकार टाइप-इरेज़र शब्दार्थ अमूर्त सिद्धांत (कंप्यूटर प्रोग्रामिंग) है, जो यह सुनिश्चित करता है कि किसी प्रोग्राम का रन-टाइम निष्पादन प्रकार की जानकारी पर निर्भर नहीं करता है। इस प्रकार सामान्य प्रोग्रामिंग के संदर्भ में, टाइप इरेज़र के विपरीत को रेफिकेशन (कंप्यूटर साइंस) नाम दिया गया है।[1]
अनुमान प्रकार
रिवर्स ऑपरेशन को प्रकार अनुमान नाम दिया गया है। चूंकि टाइप इरेज़र अंतर्निहित रूप से टाइप की गई भाषाओं पर टाइपिंग को परिभाषित करने का आसान विधि हो सकता है‚ इस प्रकार (अंतर्निहित टाइप किया गया शब्द अच्छी तरह से टाइप किया गया है और केवल तभी जब यह अच्छी तरह से टाइप किए गए स्पष्ट रूप से टाइप किए गए लैम्ब्डा शब्द का विलोपन है), इस प्रकार स्पष्ट रूप से टाइप किए गए शब्दों की जाँच करने के लिए एल्गोरिदम की आवश्यकता नहीं है ।
यह भी देखें
- टेम्पलेट (सी ++)
- जावा में जेनरिक # प्रकार विलोपन के साथ समस्याएं (जावा में जेनरिक में)
- बहुरूपता टाइप करें
संदर्भ
- ↑ Langer, Angelika. "What is reification?".
- Crary, Karl; Weirich, Stephanie; Morrisett, Greg (2002). "Intensional Polymorphism in Type-Erasure Semantics". Journal of Functional Programming. 12 (6): 567–600. CiteSeerX 10.1.1.5.4507. doi:10.1017/S0956796801004282.