Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Rust تعتمد مواصفات لغة Ferrocene

2025-03-30

لقد أعاق غياب المواصفات الرسمية للغة Rust اعتمادها في المنظمات التي تولي أهمية للسلامة. يعلن مشروع Rust الآن عن اعتماده لمواصفات لغة Ferrocene (FLS) ، التي طورتها Ferrous Systems ، كمكون أساسي للمشروع. تهدف هذه الخطوة إلى إزالة عقبة رئيسية أمام استخدام Rust في الأنظمة الحرجة من حيث السلامة.

(lwn.net)
التطوير الأنظمة الحرجة من حيث السلامة