سمة من سمات بعض لغات البرمجة التي يتطلب نوع كل عنصر البيانات التي أعلنت، ويحول دون تطبيق عوامل التشغيل على أنواع البيانات غير ملائمة، ويمنع التفاعل بين عناصر البيانات من أنواع غير متوافقة.