نظام النوع

أنواع البيانات, برمجة, علوم الحاسوب, هندسة البرمجيات

نظام النوع الهيكلي (Structural Type System)

أنظمة النوع, علوم الحاسوب, لغات البرمجة, نظرية الأنواع

النوع الرئيسي (Principal Type)