امتلاك وظيفي من خلال التفرد الجزئي

تمت إعادة تسليط الضوء على أنظمة الملكية والإقراض، التي صممت لإنفاذ إدارة ذاكرة آمنة دون الحاجة إلى جمع القمامة، من خلال لغة البرمجة راست. تهدف راست أيضاً إلى جلب بعض الضمانات التي تقدمها البرمجة الوظيفية إلى مجال الكودات ذات الأداء العالي، لكن نظام الأنواع منفصل إلى حد كبير عن نموذج الملكية، حيث تتم عمليات التحقق من الأنواع والإقراض في مراحل تجميع منفصلة. تسعى النماذج الحديثة مثل راستبيلت وأوكسايد إلى توضيح راست بعمق، لكن هناك تركيز أقل على دمج الأفكار الأساسية في أنظمة الأنواع التقليدية. إن نهجاً مصمماً لكشف جوهر أساسي للملكية والإقراض سيفتح الباب أمام اللغات الوظيفية لاستعارة المفاهيم الموجودة في راست وأطر الملكية الأخرى، بحيث يتمكن المزيد من المبرمجين من الاستفادة من مزاياها. إحدى الاستراتيجيات لإدارة الذاكرة في بيئة وظيفية هي من خلال أنواع التفرد، لكن هذه تقدم رؤية خشنة: إما أن يكون للقيمة مرجع واحد بالضبط، ويمكن تعديلها بأمان، أو لا يمكن ذلك، حيث قد توجد مراجع أخرى. تظهر الأعمال الحديثة أن الأنواع الخطية والتفرد يمكن دمجها في نظام واحد لتقديم قيود على سلوك البرنامج وضمانات بشأن استخدام الذاكرة. نقوم بتطوير هذا الاتصال بشكل أكبر، مظهرين أنه تماماً كما أن أنظمة الأنواع المتدرجة مثل تلك الموجودة في جرانيول وإدرس تعمم الخطية، يظهر نموذج ملكية مشابه لراست كنموذج عام للتفرد. ندمج الأذونات الجزئية مع التصنيف لتقديم أول حساب للملكية والإقراض يتكامل بسلاسة ضمن نظام نوع قياسي إلى جانب الخطية وأنواع التصنيف، ونوسع جرانيول وفقًا لهذه الأفكار.