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

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