برداشت کلی شما از مقاله‌ی داده‌شده چیست؟

مقاله: هدف اصلی سیستم انواع جلوگیری از وقوع خطاهای اجرایی است. خطاهای اجرایی عموما به صورت اشکال در روند اجرایی برنامه بروز پیدا می‌کنند. البته ممکن است برخی خطاهای اجرایی بدون داشتن اثر قابل مشاهده‌ای باعث تخریب داده شوند. متغیرهای یک‌زبان می‌توانند مقدارهای مختلفی بگیرند. حد بالای این مقادیر نوع نامیده می‌شود. برای مثال زبان برنامه‌نویسی جاوا دارای نوع داده بولی (boolean) است که دو مقدار درست (true) و نادرست (false) به خود می‌گیرد. به زبان‌هایی که مقادیر یک متغیر را از طریق نسبت دادن نوع به آن محدود می‌کنند، زبان‌های دارای نوع‌داده گفته‌می‌شود. متغیرهای زبان‌های فاقد نوع‌داده نوع ندارند. زبان‌های فاقد نوع‌داده ممکن است یک نوع‌داده تمام‌شمول ‏ (en) ‏ داشته‌باشند که همه مقادیر را بپذیرد. عملیات در زبان‌های فاقد نوع‌داده می‌توانند روی متغیرهای با نوع نادرست اعمال شوند. خطاهای اجرایی به‌طور کلی به دو دسته تقسیم می‌شوند. خطاهای توقفی: خطاهایی که باعث توقف روند اجرای برنامه می‌شوند. خطاهای غیرتوقفی: خطاهایی که برنامه را متوقف نکرده و باعث بروز رفتارهای غیرمنتظره در آینده می‌شوند. قسمتی از برنامه که منجر به وقوع خطای غیرتوقفی نشود را امن می‌نامند. اگر همه قسمت‌های برنامه‌های نوشته‌شده به یک‌زبان برنامه‌نویسی امن باشند، آن زبان را یک «زبان برنامه‌نویسی امن» می‌نامند. زبان‌های برنامه‌نویسی فاقد نوع‌داده از طریق بررسی برنامه در زمان اجرا از ایمنی آن اطمینان حاصل می‌کنند. این در حالی‌است که زبان‌های برنامه‌نویسی دارای نوع‌داده برنامه را در زمان کامپایل بررسی می‌کنند و در صورت ایمن نبودن برنامه، آن را اجرا نمی‌کنند. البته ممکن است این زبان‌ها در زمان اجرا نیز برنامه را بررسی کنند. نوع‌داده‌های یک‌زبان برنامه‌نویسی از لحاظ صوری بودن تعریف‌شان با دیگر اجزای زبان تفاوت‌هایی دارند. تعریف انواع داده از این حیث مابین یادداشت‌های غیر صوری یک‌زبان و تعریف مشخصات جزئی‌تر است؛ از یادداشت‌های زبان صوری‌تر است و از مشخصات جزئی راحت‌تر قابل پردازش است. ویژگی‌های پایه‌ای یک سیستم انواع عبارت‌اند از: سیستم انواع باید به صورت تصمیم‌پذیر قابل تصدیق باشد. به این معنی که الگوریتمی (که به الگوریتم بررسی نوع‌داده معروف است) وجود داشته‌باشد که خوش‌رفتار بودن برنامه را تصمیم بگیرد. هدف سیستم انواع تنها بیان هدف …
برداشت:
تایپ‌سیستم (انگلیسی : type system) یا سیستم نوع مجموعه‌ای از قوانین است که ویژگی « نوع » را به مفاهیم مختلف یک زبان برنامه‌نویسی ، مانند متغیرها ، رویه‌ها و عبارات ، نسبت می‌دهد . هر زبان برنامه‌نویسی دارای تعدادی نوع است که داده ساختارهای مختلف مورد استفاده در برنامه‌ها را دسته‌بندی می‌کنند .