نظام يتطلب تحديد نوع المتغير (int, string) أثناء كتابة الكود.
يكتشف الأخطاء مبكراً أثناء الترجمة (مثل Java, C++).