سازنده نوع در نظریه نوع
در حوزهی منطق ریاضی و علوم کامپیوتر، بهویژه در نظریه نوع، سازنده نوع ابزاری است که انواع جدید را از انواع موجود میسازد. انواع پایه با استفاده از سازندگان نوع صفر-مقداری ساخته میشوند. برخی سازندگان نوع، مانند انواع محصول، تابع، توان و لیست، یک نوع دیگر را به عنوان پارامتر میپذیرند.
برای مثال، در لامبدا کالکولوس سادهشده، تنها یک سازنده نوع غیرپایهای وجود دارد: سازنده نوع تابع. انواع محصول معمولاً از طریق کَریسازی در لامبدا کالکولوسهای تایپشده «توکار» در نظر گرفته میشوند.
سازندگان نوع بهصورت انتزاعی
بهصورت انتزاعی، سازنده نوع یک عملگر نوع n-مقداری است که صفر یا چند نوع را به عنوان پارامتر میپذیرد و یک نوع دیگر بازمیگرداند. با استفاده از کَریسازی، عملگرهای نوع n-مقداری را میتوان بهصورت توالی کاربردهای عملگرهای نوع یکمقداری بازنویسی کرد.
در هسکل، همهی اعلانهای نوع داده بهعنوان اعلان سازنده نوع در نظر گرفته میشوند، و انواع پایه (یا سازندگان نوع صفر-مقداری) «ثابتهای نوع» نامیده میشوند.
کاربرد در زبانهای برنامهنویسی
برخی زبانهای برنامهنویسی تابعی مانند هسکل از سازندگان نوع بهصورت صریح استفاده میکنند. سازندگان نوع همچنین میتوانند بهعنوان انواع داده چندریختی پارامتری در نظر گرفته شوند.