سیستم نوع
از ویکیپدیا، دانشنامهٔ آزاد
در علوم رایانه یک سیستم نوع نحوه ارتباط زبان برنامهنویسی را با مقادیر و عبارات تعیین میکند و تحت این روابط انها را دستهبندی کرده و رفتار مناسب آنها را با یکدیگر تعیین میکند. یک نوع در دادهها به معنای یک دسته از مقادیر با ویژگیهای عمومی یکسان است البته باید در نظر داشت که ممکن است این ویژگیها بطور واقعی در یک برنامه در حال اجرا وجود نداشته باشد. سیستم نوع در بین زبانهای برنامهنویسی مختلف بطور کلی متفاوت است. اصلیترین تفاوت در مورد ایستا بودن یا ایجاد در زمان اجرا انواع داده در زبانهای مختلف میباشد.
کمپایلرها با استفاده از این سیستم نوع در صدد بهینهسازی رفتار خود در زمینه ذخیرهسازی فضا برمیآید.
