إضافة أنواع التصفية إلى Rust: دراسة جدوى
2024-12-24
تتناول هذه المقالة إمكانية إضافة أنواع التصفية إلى لغة البرمجة Rust. بناءً على الخبرة مع YAIOUOM، وهو محلل ثابت يستخدم أنواع التصفية للتحقق من وحدات القياس، يفحص الكاتب أساليب تطبيق أنواع التصفية داخل نظام أنواع Rust. تم اقتراح عدة خيارات، بما في ذلك تعديلات على حل السمات، وتوحيد متغيرات الأنواع، وإدخال آلية لكلمة مفتاح قابلة للتوصيل للتحقق من الأنواع بعد عملية التجميع. يُعتبر النهج المتفائل - تجاهل معلومات الوحدات في بداية التجميع والتحقق منها لاحقًا - أكثر عملية. تم مناقشة تصميم واجهة برمجة التطبيقات ومعالجة رسائل الخطأ. يتضمن العمل المستقبلي جمع التعليقات، وكتابة برنامج تشغيل rustc يدعم الإضافات، وتطبيق العديد من أنواع التصفية، بما في ذلك إصدار جديد من YAIOUOM ومجموعات فرعية من Flux أو Liquid Haskell.