استكشاف Pyright لفحص الأنواع في بايثون

بقلم: فريق تحرير العلامة التقنية التصنيف: تطوير الويب ١ مايو ٢٠٢٦

في هذا المقال، سنتناول Pyright، أداة فحص الأنواع الثابتة عالية الأداء من مايكروسوفت لبرمجة بايثون، ونتعرف على ميزاتها الأكثر قوة من خلال تطبيق عملي. سنبدأ من الأساسيات مثل التعليقات التوضيحية واستنتاج الأنواع، ثم ننتقل تدريجياً إلى الأنواع المجمعة، تضييق الأنواع، الجينات، البروتوكولات، TypedDict، وهياكل البيانات الحديثة مثل Self، TypeAlias، وNewType.

ما هو Pyright؟

Pyright هو أداة فحص الأنواع الثابتة تم تطويرها من قبل مايكروسوفت، وهي تستخدم لتحسين نوعية التعليمات البرمجية في مشاريع بايثون. تتيح هذه الأداة للمطورين تحديد الأخطاء المحتملة قبل تنفيذ البرنامج، مما يسهل عملية التطوير.

البدء مع Pyright

لتثبيت Pyright، يمكن استخدام الأمر التالي في بيئة بايثون:

pip install pyright

بعد التثبيت، يمكننا إعداد وظائف مساعدة لتسهيل كتابة التعليمات البرمجية وتشغيل Pyright.

الأساسيات: التعليقات التوضيحية واستنتاج الأنواع

نبدأ بالتعرف على التعليقات التوضيحية الأساسية التي تساعد في تحديد أنواع المتغيرات. على سبيل المثال، يمكن استخدام التعليقات التوضيحية لتحديد نوع المدخلات والمخرجات لوظائف معينة:

def add(x: int, y: int) -> int:
    return x + y

إذا تم تمرير نوع غير متوافق، سيتعرف Pyright على ذلك ويشير إلى وجود خطأ.

تضييق الأنواع

تعتبر عملية تضييق الأنواع من الميزات الرائعة في Pyright، حيث تسمح بتحديد نوع المتغيرات بشكل أكثر دقة بناءً على الشروط. على سبيل المثال:

if isinstance(val, int):
    return str(val * 2)

يساعد هذا النمط في تحسين دقة التعليمات البرمجية وتقليل الأخطاء المحتملة.

الجينات

تعتبر الجينات وسيلة قوية لتحسين مرونة التعليمات البرمجية. يمكننا إنشاء وظائف أو فئات تقبل أنواع متعددة باستخدام الجينات:

T = TypeVar('T')

def first(lst: list[T]) -> T:
    return lst[0]

هذا يضمن أن الوظيفة ستعمل بشكل صحيح مع مجموعة متنوعة من الأنواع دون فقدان الأمان النوعي.

البروتوكولات والأنواع الهيكلية

تسمح البروتوكولات بتعريف واجهات مرنة. يمكننا إنشاء بروتوكول يحدد وظائف معينة يجب أن تتواجد في أي نوع يلتزم به:

class Drawable(Protocol):
    def draw(self) -> str:
        ...

تساعد هذه الميزات في بناء أنظمة أكثر مرونة وقابلية للتوسع.

هيكل البيانات المتقدمة

مع استخدام TypedDict وdataclasses، يمكننا إنشاء هياكل بيانات معقدة بسهولة. على سبيل المثال:

class User(TypedDict):
    name: str
    age: int

تسهل هذه الأنواع تعريف الكائنات مع الحفاظ على الأمان النوعي.

الخاتمة

يعتبر Pyright أداة قوية لتعزيز جودة التعليمات البرمجية في بايثون. من خلال فهم كيفية عمل الميزات مثل التعليقات التوضيحية، تضييق الأنواع، الجينات، والبروتوكولات، يمكن للمطورين تحسين مشاريعهم بشكل ملحوظ.