Static Type Checker
ابزاری که بدون اجرای برنامه، سازگاری typeها را بررسی میکند تا خطاهای احتمالی مربوط به آنها پیدا شوند.
این تعریف را هوش مصنوعی از روی مطالب فیدآپ نوشته است.
مطالبی با این مفهوم
- Python

کیفیت در Python فراتر از درست کار کردن است؛ راهنمای Real Python
راهنمای Real Python کیفیت را ترکیبی از خوانایی، نگهداری آسان، کارایی و امنیت میداند و بر نامگذاری روشن، testing و استفاده از ابزارهای بررسی تأکید میکند.