Typing environment
प्रकार सिद्धांत में एक टाइपिंग वातावरण (या टाइपिंग संदर्भ) चर नामों और डेटा प्रकारों के बीच संबंध का प्रतिनिधित्व करता है। अधिक औपचारिक रूप से एक वातावरण जोड़े की एक समूह या क्रमबद्ध सूची है, जिसे आमतौर पर इस रूप में लिखा जाता है, जहां एक चर है और इसका प्रकार है। फैसले को "संदर्भ में प्रकार है" के रूप में पढ़ा जाता है। प्रत्येक कार्य के लिए शरीर प्रकार की जाँचः टाइपिंग नियम उदाहरण-स्थिर रूप से टाइप की गई प्रोग्रामिंग भाषाओं में इन वातावरणों का उपयोग किसी दिए गए प्रोग्राम या अभिव्यक्ति की जाँच करने के लिए नियमों को टाइप करके किया जाता है और बनाए रखा जाता है। यह भी देखें कि प्रकार प्रणाली संदर्भ डेटा प्रकार कार्यक्रम विश्लेषण प्रकार सिद्धांत