«Static Type Checker» در برنامه‌نویسی، زبان‌ها و کیفیت کد مفهومی است که به نوشتن، سازمان‌دهی، اجرای امن یا نگهداری کد کمک می‌کند. این اصطلاح می‌تواند به الگوهای طراحی، ساختار زبان، مدیریت خطا، هم‌زمانی، تایپ، تست یا خوانایی کد مربوط باشد. دانستن آن باعث می‌شود توسعه‌دهنده تصمیم‌های دقیق‌تری بگیرد، پیچیدگی را کنترل کند و کدی بسازد که در پروژه‌های بلندمدت قابل تغییر و قابل اعتماد باشد.