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