Typing environment
ٹائپ تھیوری میں ٹائپنگ ماحول (یا ٹائپنگ سیاق و سباق) متغیر ناموں اور ڈیٹا کی اقسام کے درمیان تعلق کی نمائندگی کرتا ہے۔ زیادہ رسمی طور پر ایک ماحول جوڑوں کی ایک سیٹ یا ترتیب شدہ فہرست ہے، جسے عام طور پر لکھا جاتا ہے، جہاں ایک متغیر اور اس کی قسم ہے۔ فیصلے کو "سیاق و سباق میں قسم ہے" کے طور پر پڑھا جاتا ہے۔ ہر فنکشن باڈی ٹائپ چیک کے لیے: ٹائپنگ رولز مثال: جامد طور پر ٹائپ شدہ پروگرامنگ زبانوں میں ان ماحول کو ٹائپنگ رولز کے ذریعے استعمال کیا جاتا ہے اور برقرار رکھا جاتا ہے تاکہ دیئے گئے پروگرام یا اظہار کو چیک کیا جا سکے۔ ٹائپ سسٹم حوالہ جات ڈیٹا ٹائپ پروگرام تجزیہ ٹائپ تھیوری بھی دیکھیں۔