टाइप विलोपन
प्रोग्रामिंग भाषाओं में, टाइप इरेज़र लोडर (कंप्यूटिंग) | लोड-टाइम प्रक्रिया है जिसके द्वारा प्रोग्राम से स्पष्ट टाइप_सिग्नेचर को रन टाइम (प्रोग्राम जीवनचक्र चरण) पर निष्पादित करने से पहले हटा दिया जाता है। रन-टाइम। टाइप-पासिंग सिमेंटिक्स के विपरीत, परिचालन शब्दार्थ को प्रोग्राम के साथ टाइप करने की आवश्यकता नहीं होती है, इसे टाइप-इरेज़र सिमेंटिक्स नाम दिया जाता है। टाइप-इरेज़र शब्दार्थ एक अमूर्त सिद्धांत (कंप्यूटर प्रोग्रामिंग) है, यह सुनिश्चित करता है कि किसी प्रोग्राम का रन-टाइम निष्पादन प्रकार की जानकारी पर निर्भर नहीं करता है। सामान्य प्रोग्रामिंग के संदर्भ में, टाइप इरेज़र के विपरीत को रेफिकेशन (कंप्यूटर साइंस) नाम दिया गया है।[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.
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
