Table of Contents
سیستم های نوع برای زبان های برنامه نویسی پایه گذاری شده اند و چارچوبی برای طبقه بندی و تأیید داده ها فراهم می کنند.آنها به تشخیص خطا در اوایل و بهبود قابلیت اطمینان کد کمک می کنند. درک اصول طراحی کلیدی می تواند منجر به ایجاد کد های امن تر و قابل نگهداری تر شود.
نوع ایمنی
ایمنی نوع تضمین می کند که عملیات بر روی انواع داده های سازگار انجام می شود، از خطاهای رایج مانند اعمال حساب به داده های عددی غیر عددی یا دسترسی به حافظه نامعتبر جلوگیری می کند.زبان ها با ایمنی قوی نوع، بسیاری از مسائل را در زمان کامپایل شده، کاهش شکست های زمان اجرا می کنند.
نوع Inference
نوع استنتاج اجازه می دهد تا کامپایلر به طور خودکار انواع داده ها را استنتاج کند، نیاز به یک اشاره صریح را کاهش دهد، این ویژگی بهره وری توسعه دهنده را در حالی که حفظ ایمنی نوع است، به ویژه در زبان های برنامه نویسی کاربردی و زبان های مدرن statically typed مفید است.
نوع Polymorphism
Polymorphism توابع و ساختارهای داده را قادر می سازد تا بر روی انواع مختلف داده ها کار کنند.این کد را ترویج می کند استفاده مجدد و انعطاف پذیری. فرم های رایج شامل پلی مورفیسم پارامتریک (ژنریک ها) و پلی مورفیسم زیر نوع است.
نوع چکینگ
چک کردن نوع داده ها در هنگام جمع آوری یا زمان اجرا، چک کردن نوع استاتیک قبل از اعدام رخ می دهد، تشخیص نوع پویا در هنگام اجرا رخ می دهد، انعطاف پذیری در هزینه خطاهای زمان اجرا بالقوه.