فحوص أنواع صارمة لتعديلات وكيل البرمجة

حدود الفحص

قد يكتب الوكيل اسم خاصية خطأ أو يمرر وسيطا غير مناسب. تساعد الأنواع الدقيقة في كشف ذلك. لكن any وتعريفات الأنواع الخاطئة والبيانات الخارجية غير المتحقق منها تضعف النتيجة. قد يكون المبلغ رقما صحيح النوع لكنه حساب فاتورة خاطئ. أبق اختبارات السلوك وراجع تغييرات المدفوعات والصلاحيات والبيانات المخزنة.

TypeScript

أضف strict: true داخل compilerOptions في tsconfig.json الموجود، دون حذف الإعدادات الأخرى. تتضمن المجموعة noImplicitAny وstrictNullChecks، ويمكن تجاوز خيارات منفردة. شغل tsc --noEmit من المشروع بإصدار المترجم المتفق عليه. تمرير أسماء ملفات مباشرة يغير استخدام الإعدادات. النجاح يخص البرنامج الذي دخل الفحص فعليا، لا كل ملفات المستودع تلقائيا.

Python

يجب أن تصف تلميحات الأنواع المدخلات والمخرجات الحقيقية. إذا كان None ممكنا فاذكره وتعامل معه. شغل mypy --strict على المجلد المطلوب. تتغير مجموعة الفحوص بين الإصدارات وقد توسع الاستيرادات النطاق. التلميحات لا تتحقق تلقائيا من JSON الوارد أثناء التشغيل؛ تحتاج الحدود الخارجية إلى فحص المخطط والقيم.

حلقة عمل قابلة للمراجعة

بعد التغيير يشغل الوكيل الأمر والاختبارات ويقرأ الأخطاء ويصلح السبب ثم يعيد التشغيل. لا يسمح بحذف الاختبارات أو إضعاف الإعدادات للحصول على علامة خضراء. أي ignore أو cast أو any غير مبرر يحتاج مراجعة. يجب أن تبين سجلات CI الأمر والإصدار والنتيجة. ابدأ نطاقا محددا عند التطبيق التدريجي، وأبق الفحوص القديمة وسجل الأجزاء غير المغطاة. راجع تعديل إعدادات الفحص مستقلا عن تعديل المنتج. للتجربة مرر رقما إلى وسيط str وتأكد أن الأمر الفعلي يكتشفه، ثم أصلح الاستدعاء وأعد الاختبارات. هذا يختبر نطاق الأداة ولا يثبت صحة منطق الأعمال كله.

المصادر

• https://wurk.fun/blog/turn-on-strict-type-checks-so-your-coding-agent-s-mistakes-fail-early
• https://www.typescriptlang.org/tsconfig/#strict
• https://www.typescriptlang.org/docs/handbook/compiler-options.html
• https://mypy.readthedocs.io/en/stable/command_line.html
• https://wurk.fun/blog/add-a-ci-check-so-your-coding-agent-can-t-merge-broken-code