Typing environment
টাইপ তত্ত্বে একটি টাইপিং পরিবেশ (বা টাইপিং প্রসঙ্গ) পরিবর্তনশীল নাম এবং ডেটা প্রকারের মধ্যে সম্পর্ককে উপস্থাপন করে। আরও আনুষ্ঠানিকভাবে একটি পরিবেশ হল জোড়াগুলির একটি সেট বা সাজানো তালিকা, সাধারণত যেখানে একটি পরিবর্তনশীল এবং তার প্রকার হিসাবে লেখা হয়। রায়টি "প্রেক্ষাপটে টাইপ রয়েছে" হিসাবে পড়া হয়। প্রতিটি ফাংশন বডি টাইপ চেকের জন্যঃ টাইপিং নিয়ম উদাহরণস্বরূপঃ স্ট্যাটিক্যালি টাইপ করা প্রোগ্রামিং ভাষাগুলিতে এই পরিবেশগুলি একটি প্রদত্ত প্রোগ্রাম বা এক্সপ্রেশন চেক টাইপ করার জন্য টাইপিং নিয়ম দ্বারা ব্যবহৃত এবং রক্ষণাবেক্ষণ করা হয়। আরও দেখুন টাইপ সিস্টেম রেফারেন্স ডেটা টাইপ প্রোগ্রাম বিশ্লেষণ টাইপ তত্ত্ব