الرياضيات, برمجة وظيفية, علم الحاسوب, نظرية الفئات

التصنيف التراجعي (Catamorphism)