سیستم نوع نامی
From Wikipedia, the free encyclopedia
در علوم رایانه سیستم نوع نامی (به انگلیسی: nominal or nominative type system) (یا سیستم نوع مبتنی بر نام) یک کلاس عمده از سیستم انواع است، که در آن سازگاری و معادل بودن انواع داده، توسط «اعلام صریح» انجام می شود همچنین ممکن است خود «نام انواع» سازگاری یا معادل بودن را تعیین کند.
این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. (فوریه ۲۰۲۰) |
از سیستم نامی برای تعیین آنکه نوع ها معادل می باشند استفاده می شود، همچنین برای تعیین آنکه آیا یک نوع زیر نوع دیگری می باشد استفاده می شود.
این سیستم دربرابر سیستم های ساختاری قرار دارند، که در آن مقایسه ها مبتنی بر ساختار نوع های مورد سؤال است و در آنها نیازی به اعلام صریح نیست.