ایمنی نوع

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

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

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

 منابع 

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