سیستم نوع: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش برچسب: افزودن پیوند بیرونی به جای ویکی‌پیوند |
||
خط ۱۸:
نوع‌داده‌های یک زبان برنامه‌نویسی از لحاظ صوری بودن تعریف‌شان با دیگر اجزای زبان تفاوت‌هایی دارند. تعریف انواع داده از این حیث مابین یادداشت‌های غیر صوری یک زبان و تعریف مشخصات جزئی‌تر است؛ از یادداشت‌های زبان صوری‌تر است و از مشخصات جزئی راحت‌تر قابل پردازش است.
ویژگی‌های پایه‌ای یک سیستم انواع عبارت‌اند از:
* سیستم انواع باید به صورت [[تصمیم‌پذیری(منطق)|تصمیم‌پذیر]] قابل تصدیق باشد. به این معنی که الگوریتمی (که به الگوریتم [https://en.wikipedia.org/wiki/Type_system#Type_checking بررسی نوع‌داده] معروف است.) وجود داشته‌باشد که خوش‌رفتار بودن برنامه را تصمیم بگیرد. هدف سیستم انواع تنها بیان هدف برنامه نیست؛ بلکه شناسایی و جلوگیری از وقوع خطاها است.
| |||