HeadlinesBriefing favicon HeadlinesBriefing.com

Cobalt C 1.0 تقدم ميزات الملكية والأمان

Hacker News •
×

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