اقتراح: التأثيرات الأساسية لـ C

يقترح هذا الاقتراح تحسين نظام أنواع C الأساسي بنظام نوع وتأثير، مما يتطلب من الدوال والكتل إعلان تأثيرات تقييمها. هذا يحسن قابلية تكوين البرمجة الفوقية ويبسط تعريف القيود على غرار MISRA. يتتبع النظام ويحقق التأثيرات، لكنه لا يعالج معالجة التأثيرات الديناميكية. هناك ثلاث مجموعات رئيسية من التأثيرات المقترحة: محلية (مثل الكتابة المحلية)، ودائمة (مثل الكتابة غير المحلية)، وتحكم (مثل تحويلات التحكم غير المحلية). يتم تحقيق التحقق الثابت من التأثيرات عن طريق تعيين نوع وتأثير لكل تعليمة، وتعبيرات، وجسم الدالة، مع تجاهل التأثيرات المحلية لضمان الترتيب الصحيح. هناك ممارسات جيدة مقترحة، مثل الحد من حجم تأثيرات `mut` و `vol` وتحديد عمليات التحقق من التأثيرات للعمليات ولبنى التحكم. والهدف هو تحسين أمان، وقابلية قراءة، وقابلية تكوين C، خاصة للبرمجة الفوقية وإدارة الموارد.