टाइप विलोपन: Difference between revisions

From Vigyanwiki
No edit summary
Line 23: Line 23:
   | citeseerx = 10.1.1.5.4507
   | citeseerx = 10.1.1.5.4507
   }}
   }}
[[Category: टाइप थ्योरी]]




{{comp-sci-stub}}
{{comp-sci-stub}}


 
[[Category:All stub articles]]
 
[[Category:Computer science stubs]]
[[Category: Machine Translated Page]]
[[Category:Created On 16/06/2023]]
[[Category:Created On 16/06/2023]]
[[Category:Vigyan Ready]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:टाइप थ्योरी]]

Revision as of 10:12, 1 July 2023

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

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

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

यह भी देखें

संदर्भ

  1. Langer, Angelika. "What is reification?".