Python Typing Generator

الغرض ونية المستخدم: تُحلل الأداة شفرة بايثون المصدرية وتوثيقاتها لتوليد توجيهات النوع الدقيقة. تستهدف المطورين ومُطوري المكتبات ومهندسي البيانات والفرق التي تُهاجر إلى typing وتحتاج إلى عقود نوع موحّدة في قواعد كود كبيرة. استخدمها أثناء إعادة الهيكلة، تصميم واجهة API، أو الانخراط لتوحيد typing.

المنطق الأساسي والميزات: تشمل الميزات المطلوبة استدلالاً مستنداً إلى AST من تعريفات الدوال والمعاملات وأنواع الإرجاع والتوثيقات؛ دعم تراكيب typing مثل PEP 484 (List, Dict, Optional, Union, Callable)؛ تنسيقات التصدير لتوضيحات inline أو ملفات stub مستقلة (.pyi)؛ دعم أساسي لـ TypeVar والأنواع العامة؛ حل بين الوحدات لتقليل الاستيراد غير المحلول. الميزات الاختيارية: عمق الاستدلال القابل للتكوين، التكامل مع توجيهات موجودة وتوليد خلاصة أنواع. المنطق يفضّل الإشارات الصريحة عند وجودها، وإن لم يتوافر، يستنتج أنواع محتملة ويرجع إلى Any أو Optional للحالات غير المحددة. يمكن إدراج المخرجات في الكود أو تسليمها كـ stubs جاهزة للتعديل. تحقق التماثل يقيّم الاتساق ويبلغ عن التعارضات.

المدخلات والمخرجات: المدخلات هي مقطع شيفرة بايثون أو مسار ملف، ووضع وضع (inline vs Stub)، وتوجيهات اختيارية حول عمق الاستدلال. المخرجات تشمل كتل الكود المحوّلة أو ملفات .pyi، مُنسّقة وفق PEP 8 ومعايير typing. كما تولد الأداة موجزاً مختصراً للنوع، قائمة الأنواع المستنتجة، و تحذيرات للمسارات غير المحلولة أو التركيبات الديناميكية.

الخوارزميات والحسابات: تحلل الأداة AST، وتجتمع تعريفات الرموز وتستخلص أنواع المعاملات والإرجاع من التواقيع والتوثيقات. تُترجم أنواع التوثيق إلى تراكيب typing، تُحل الاستيرادات وتُنتشر أنواع المستنتجة عبر الوحدات. الإخراج النهائي قد يكون تعديلاً مباشراً للكود أو إعلانات stub مستقلة. الحالات الحدية تشمل السمات الديناميكية، الانعكاس أو البرمجة الميتا حيث typing غير مؤكد؛ في مثل هذه الحالات تشير الأداة إلى typing محافظ وتوصي بتوثيقات صريحة.

الصناعة/منطقة والتوطين؛ الافتراضات والاستثناءات: يتبع اتفاقيات typing بايثون القياسية (PEP 484) ومعايير تشفير US/EU؛ لا حاجة لتنسيق محلي محدد. يفترض إخراج بايثون صحيح، لا يتم تشغيل الكود، ويستبعد إعادة الهيكلة في وقت التشغيل أو التحليل الثابت الكامل خارج نطاق typing.