ایمنی نوع

در علوم رایانه ایمنی نوع  به میزانی گفته می‌شود که در آن یک زبان برنامه‌نویسی، از خطاهای مربوط به انواع داده‌ها جلوگیری کند.

خطای نوع  حالتی ناخواسته و مشکل آفرین است که بدلیل تفاوت بین انواع متفاوت مثل متغیرهای ثابت، توابع و ... به‌وجود می‌آید برای نمونه تعریف یک متغیر از نوع اعداد اعشاری و استفاده از آن به جای اعداد صحیح.

جستارهای وابسته 
 نظریه نوع‌ها

منابع 

موضوعات مربوط به زبان‌های برنامه‌نویسی
نظریه نوع‌ها
سیستم‌های انواع