خطأ في OpenZFS يكاد يكون كارثيًا يبرز قوة نظام أنواع Rust

تم اكتشاف خطأ بسيط ولكنه مدمر في وظيفة تخصيص القرص الأساسية في OpenZFS مؤخرًا. هذا الخطأ، وهو خطأ بسيط في النوع يؤدي إلى إرجاع الحجم الخطأ، يمكن أن يحذف البيانات بصمت. استغرق الأمر يومين تقريبًا لتتبعه. على الرغم من أن الخطأ لم يكن موجودًا في أي إصدار تم إصداره، إلا أنه أثار تأملًا في حدود التحليل الثابت في لغة C ومزايا نظام أنواع Rust. إن قدرة Rust على تعريف الأنواع المخصصة (مثل `PhysicalSize` و `AllocatedSize`) كانت ستمنع ذلك. يجادل المؤلف بأن الاعتماد فقط على كمال المبرمج أمر خاطئ؛ إن الاستفادة من الأدوات وميزات اللغة لتحسين جودة التعليمات البرمجية وتخفيف الأخطاء التي يصعب اكتشافها ذات التأثير الكبير أمر بالغ الأهمية.