1 مقاله
سازنده نوع در نظریه نوع، ابزاری در زبانهای صوری تایپشده است که انواع جدید را از انواع موجود میسازد. انواع پایه با استفاده از سازندگان نوع صفر-مقداری ساخته میشوند. برخی سازندگان نوع، مانند انواع محصول، تابع، توان و لیست، یک نوع دیگر را به عنوان پارامتر میپذیرند. تعریف انواع جدید با ترکیب بازگشتی سازندگان نوع امکانپذیر است.
