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

From Vigyanwiki
No edit summary
No edit summary
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>
[[प्रोग्रामिंग भाषा]]ओं में, '''टाइप इरेज़र''' [[लोडर (कंप्यूटिंग)]] लोड-टाइम प्रक्रिया है जिसके द्वारा स्पष्ट प्रकार के एनोटेशन को रन-टाइम पर निष्पादित होने से पहले प्रोग्राम से हटा दिया जाता है। इस प्रकार ऑपरेशनल सेमेन्टिक्स को टाइप-पासिंग सिमेंटिक्स के विपरीत, [[परिचालन शब्दार्थ]] को प्रोग्राम के साथ टाइप करने की आवश्यकता नहीं होती है, इसे टाइप-इरेज़र सिमेंटिक्स नाम दिया जाता है। इस प्रकार टाइप-इरेज़र शब्दार्थ [[अमूर्त सिद्धांत (कंप्यूटर प्रोग्रामिंग)]] है, जो यह सुनिश्चित करता है कि किसी प्रोग्राम का रन-टाइम निष्पादन प्रकार की जानकारी पर निर्भर नहीं करता है। इस प्रकार [[ सामान्य प्रोग्रामिंग |सामान्य प्रोग्रामिंग]] के संदर्भ में, टाइप इरेज़र के विपरीत को रेफिकेशन (कंप्यूटर साइंस) नाम दिया गया है।<ref>{{cite web|last1=Langer|first1=Angelika|title=What is reification?|url=http://www.angelikalanger.com/GenericsFAQ/FAQSections/TechnicalDetails.html#FAQ101A}}</ref>
== अनुमान प्रकार ==
== अनुमान प्रकार ==
रिवर्स ऑपरेशन को [[अनुमान टाइप करें|प्रकार अनुमान]] नाम दिया गया है। चूंकि '''टाइप इरेज़र''' अंतर्निहित रूप से टाइप की गई भाषाओं पर टाइपिंग को परिभाषित करने का एक आसान विधि हो सकता है‚ इस प्रकार (एक अंतर्निहित टाइप किया गया शब्द अच्छी तरह से टाइप किया गया है और केवल तभी जब यह एक अच्छी तरह से टाइप किए गए स्पष्ट रूप से टाइप किए गए लैम्ब्डा शब्द का विलोपन है), इस प्रकार स्पष्ट रूप से टाइप किए गए शब्दों की जाँच करने के लिए एल्गोरिदम की आवश्यकता नहीं है ।
रिवर्स ऑपरेशन को [[अनुमान टाइप करें|प्रकार अनुमान]] नाम दिया गया है। चूंकि '''टाइप इरेज़र''' अंतर्निहित रूप से टाइप की गई भाषाओं पर टाइपिंग को परिभाषित करने का आसान विधि हो सकता है‚ इस प्रकार (अंतर्निहित टाइप किया गया शब्द अच्छी तरह से टाइप किया गया है और केवल तभी जब यह अच्छी तरह से टाइप किए गए स्पष्ट रूप से टाइप किए गए लैम्ब्डा शब्द का विलोपन है), इस प्रकार स्पष्ट रूप से टाइप किए गए शब्दों की जाँच करने के लिए एल्गोरिदम की आवश्यकता नहीं है ।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 13:54, 27 June 2023

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

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

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

यह भी देखें

संदर्भ

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