سیستم نوع: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
لید |
جز ←جایگزینی با [[وپ:اشتباه|اشتباهیاب]]: نوعاداه⟸نوع داده |
||
خط ۱۹:
* سیستم انواع باید به صورت [[تصمیم‌پذیری(منطق)|تصمیم‌پذیر]] قابل تصدیق باشد. به این معنی که الگوریتمی (که به الگوریتم [[:en:Type system#Type checking|بررسی نوع‌داده]] معروف است) وجود داشته‌باشد که خوش‌رفتار بودن برنامه را تصمیم بگیرد. هدف سیستم انواع تنها بیان هدف برنامه نیست؛ بلکه شناسایی و جلوگیری از وقوع خطاها است.
* سیستم انواع باید شفاف باشد. برنامه‌نویس باید قادر باشد بدون ابهام رفتار یک سیستم انواع و بررسی نوع‌داده آن را پیش‌بینی کند.
* بررسی
== منابع ==
| |||