टाइप विलोपन: Difference between revisions
No edit summary |
No edit summary |
||
(5 intermediate revisions by 5 users not shown) | |||
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> | ||
== अनुमान प्रकार == | == अनुमान प्रकार == | ||
प्रतिलोम ऑपरेशन को [[अनुमान टाइप करें|प्रकार अनुमान]] नाम दिया गया है। चूंकि विलोपन टाइप अंतर्निहित रूप से टाइप की गई भाषाओं पर टाइपिंग को परिभाषित करने की सरल विधि हो सकती है, (अंतर्निहित टाइप किया गया शब्द विशेष प्रकार से टाइप किया गया है और केवल तभी जब यह विशेष प्रकार से टाइप किए गए स्पष्ट रूप से टाइप किए गए लैम्ब्डा शब्द का विलोपन होता है)। इस प्रकार स्पष्ट रूप से टाइप किए गए शब्दों की जाँच करने के लिए एल्गोरिदम की आवश्यकता नहीं है। | |||
== यह भी देखें == | == यह भी देखें == | ||
Line 23: | Line 23: | ||
| citeseerx = 10.1.1.5.4507 | | citeseerx = 10.1.1.5.4507 | ||
}} | }} | ||
{{comp-sci-stub}} | {{comp-sci-stub}} | ||
[[Category:All stub articles]] | |||
[[Category:Computer science stubs]] | |||
[[Category: | |||
[[Category:Created On 16/06/2023]] | [[Category:Created On 16/06/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:टाइप थ्योरी]] |
Latest revision as of 13:18, 8 September 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.