टाइप विलोपन

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

टाइप अनुमान

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

यह भी देखें

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

संदर्भ

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