टाइप विलोपन

प्रोग्रामिंग भाषाओं में, टाइप विलोपन लोड-समय प्रक्रिया होती है जिसके द्वारा स्पष्ट प्रकार की टिप्पणी को क्रम पर निष्पादित होने से पूर्व प्रोग्राम से हटा दिया जाता है। इस प्रकार ऑपरेशनल शब्दार्थ को टाइप-पासिंग शब्दार्थ के विपरीत, परिचालन शब्दार्थ को प्रोग्राम के साथ टाइप करने की आवश्यकता नहीं होती है, इसे विलोपन टाइप शब्दार्थ नाम दिया जाता है। इस प्रकार विलोपन टाइप शब्दार्थ अमूर्त सिद्धांत (कंप्यूटर प्रोग्रामिंग) होता है, जो यह सुनिश्चित करता है कि किसी प्रोग्राम का क्रम निष्पादन प्रकार की जानकारी पर निर्भर नहीं करता है। इस प्रकार सामान्य प्रोग्रामिंग के संदर्भ में, विलोपन टाइप के विपरीत को परिशोधन (कंप्यूटर विज्ञान) नाम दिया गया है।

अनुमान प्रकार

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

यह भी देखें

• टेम्पलेट (सी ++)
• जावा में जेनरिक प्रकार विलोपन के साथ समस्याएं (जावा में जेनरिक में)
• बहुरूपता टाइप करें

संदर्भ

• 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.