विषयसूची:
परिभाषा - टाइप इंफ़ेक्शन का क्या अर्थ है?
टाइप इनफ़ॉर्मेशन एक प्रोग्रामिंग भाषा में विशिष्ट प्रकार के डेटा प्रकारों की स्वचालित कटौती है, जो आमतौर पर संकलन के समय किया जाता है। इसमें एक प्रोग्राम का विश्लेषण करना और फिर उस प्रोग्राम में कुछ या सभी प्रकार के विभिन्न प्रकारों का उल्लेख करना होता है ताकि प्रोग्रामर को प्रोग्राम में हर बार वेरिएबल का स्पष्ट रूप से इनपुट करने और डेटा टाइप्स को परिभाषित करने की आवश्यकता न हो।टेकोपेडिया टाइप इंट्रेंस की व्याख्या करता है
प्रकार का अनुमान अक्सर वस्तु-उन्मुख लोगों के बजाय कार्यात्मक प्रोग्रामिंग भाषाओं का एक संकलक सुविधा है। कंपाइलर या दुभाषिया को केवल न्यूनतम जानकारी के साथ-साथ एक चर या अभिव्यक्ति के डेटा प्रकार का पता लगाने के लिए संदर्भ की आवश्यकता होती है।
आक्षेप एल्गोरिथ्म तर्क प्रकारों के साथ-साथ वापसी मूल्य प्रकार को निर्धारित करने की कोशिश करता है और फिर यह सबसे विशिष्ट डेटा प्रकार को खोजने की कोशिश करता है जो सभी तर्कों के साथ काम करता है। एक मूल उदाहरण के रूप में, फ़ंक्शन फू (ए, बी) = x + y पर विचार करें; संकलक जानता है कि "+" ऑपरेटर दो पूर्णांक लेता है और एक पूर्णांक भी लौटाता है, इसलिए अब संकलक या दुभाषिया यह अनुमान लगा सकता है कि फू में भी पूर्णांक है।
