زبان های برنامه نویسی چک کننده ی ایستا و پویا دو نوع از “typing” هستند که کنترل نوع(typing control) چند وظیفه دارد: تعیین کردن نوع بیان تعیین ارزش ها و متغیرهای استفاده شده رفع ابهام توسط ترجمه کردن