نوع التحسين

في نظرية الأنواع ، يُعرف نوع التحسين ^{[ 1 ] [ 2 ] [ 3 ]} بأنه نوع مزود بشرط يُفترض تحققه لأي عنصر من عناصر هذا النوع المُحسَّن. يمكن لأنواع التحسين التعبير عن الشروط المسبقة عند استخدامها كوسائط للدوال، أو الشروط اللاحقة عند استخدامها كأنواع مُعادة : على سبيل المثال، يمكن كتابة نوع دالة تقبل أعدادًا طبيعية وتُعيد أعدادًا طبيعية أكبر من 5 على النحو التالي:${\displaystyle f:\mathbb {N} \rightarrow \{n\in \mathbb {N} \,|\,n>5\}}$وبالتالي، ترتبط أنواع التحسين بالتصنيف الفرعي السلوكي .

طُرح مفهوم أنواع التحسين لأول مرة في كتاب فريمان وفينينغ "أنواع التحسين للغة ML" الصادر عام 1991 ، ^{[ 1 ]} والذي يُقدم نظامًا لأنواع مجموعة فرعية من لغة Standard ML . يحافظ نظام الأنواع هذا على قابلية استنتاج أنواع ML للتقرير، مع السماح في الوقت نفسه باكتشاف المزيد من الأخطاء أثناء الترجمة. وفي الآونة الأخيرة، طُوّرت أنظمة أنواع التحسين (بشكل أساسي في الأوساط الأكاديمية) للغات مثل هاسكل ، ^{[ 4 ] [ 5 ]} وتايب سكريبت ، ^{[ 6 ]} وراست ، ^{[ 7 ]} ، كما استُخدمت كمكتبات للاستخدام العملي في سكالا . ^{[ 8 ] [ 9 ]}

• ليكويد هاسكل
• الأنواع التابعة