البرمجة, البرمجة الوظيفية, علوم الحاسوب, هياكل البياناتالنوع الجبري المعمم للبيانات (Generalized Algebraic Data Type)