سیستم نوع: تفاوت میان نسخه‌ها

 

== هدف سیستم انواع ==

هدف اصلی سیستم انواع جلوگیری از وقوع خطا‌های اجرایی است. خطاهای اجرایی عموماً به صورت اشکال در روند اجرایی برنامه بروز پیدا می‌کنند. البته ممکن است برخی خطاهای اجرایی بدون داشتن اثر قابل مشاهده‌ای باعث تخریب داده شوند.

 

==  زبان‌های نوع‌داده‌دار و فاقد نوع‌داده ==

متغیرهای یک زبان می‌توانند [[مقدار (علوم رایانه)|مقدارهای]] مختلفی بگیرند. حد بالای این مقادیر [[نوع داده|نوع]] نامیده می‌شود{{sfn|Cardelli|2004|p=1|ps=: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program."}}. (رفرنس صفحه‌ی ۲ مقاله) برای مثال زبان برنامه‌نویسی [[جاوا (زبان برنامه‌نویسی)|جاوا]] دارای [[نوع داده بولی|نوع داده‌ی بولی]] (boolean) است که دو مقدار درست (true) و نادرست (false) به خود می‌گیرد. به زبان‌هایی که مقادیر یک متغیر را از طریق نسبت دادن نوع به آن‌ محدود می‌کنند، زبان‌های نوع‌داده‌دار گفته‌می‌شود. متغیرهای زبان‌های فاقد نوع‌داده نوع ندارند. ممکن است این زبان‌ها یک {{پم|نوع‌داده‌ی تمام‌شمول|top type|زبان=en}} داشته‌باشند که همه‌ی مقادیر را بپذیرد. عملیات در زبان‌های فاقد نوع‌داده می‌توانند روی متغیرهای با نوع نادرست اعمال شوند.