[$] تحليل برامج Rust باستخدام Charon
المصدر: LWN.netفتح في المصدر الأصلي ↗
07/10/2026 às 15:1933 مشاهدات
نادرييل هو مساهم طويل الأمد في لغة رست، وهو المسؤول عن البنية التحتية الخاصة بالمطابقة في رستك. خلال مشاركته في رست، لاحظ وجود مشكلة في سهولة استخدام اللغة: من الصعب استخراج المعلومات تلقائيًا من وحدة رست لاستخدامها مع أدوات أخرى.…
المقال الكامل في
LWN.net
⚖️ يُقتبس مقتطف فقط، مع ذكر المصدر ورابط إلى الأصل (حق الاقتباس: قانون حقوق المؤلف الآيسلندي رقم 73/1972، المادة 14 · اتفاقية برن، المادة 10).
⚙المحتوى مترجم آليًا.
هل كانت هذه الأخبار مفيدة؟
نقاشات 0
Seja o primeiro a contribuir com o debate.
شارك معلوماتك وروّج لحجتك
لا تتردد في نشر المعلومات أو البيانات التي قد تكون مفيدة.
للمشاركة في النقاش، سجّل دخولك أو أنشئ حساباً مجانياً.