ازگر کی قسم چیکر موازنہ: خالی کنٹینر کا اندازہ

خالی کنٹینرز ازگر کے قسم کے چیکرز کو کیوں توڑتے ہیں — اور آپ اس کے بارے میں کیا کر سکتے ہیں

Python کا بتدریج ٹائپنگ سسٹم نمایاں طور پر پختہ ہو گیا ہے جب سے PEP 484 نے 2015 میں قسم کے اشارے متعارف کروائے تھے۔ آج لاکھوں ڈویلپرز پروڈکشن میں آنے سے پہلے کیڑے پکڑنے کے لیے جامد قسم کے چیکرس پر انحصار کرتے ہیں۔ لیکن اس قسم کے نظام کا ایک لطیف، مایوس کن گوشہ ہے جو اب بھی تجربہ کار انجینئروں کو بھی دیکھتا ہے: خالی کنٹینر میں کس قسم کا ہوتا ہے؟ جب آپ x = [] بغیر تشریح کے لکھتے ہیں، تو آپ کے ٹائپ چیکر کو اندازہ لگانا پڑتا ہے — اور مختلف چیکرز مختلف انداز میں اندازہ لگاتے ہیں۔ یہ انحراف بڑے کوڈ بیسز کو برقرار رکھنے والی ٹیموں کے لیے حقیقی مسائل پیدا کرتا ہے، جہاں ٹائپ چیکرس کو تبدیل کرنے یا یکجا کرنے سے راتوں رات سینکڑوں غیر متوقع غلطیاں سامنے آسکتی ہیں۔

یہ مضمون یہ بتاتا ہے کہ کس طرح چار بڑے Python قسم کے چیکرس — mypy, pyright, pytype, اور pyre — خالی کنٹینر کا اندازہ لگاتے ہیں، وہ کیوں متفق نہیں ہیں، اور آپ اپنے ٹولنگ کے انتخاب سے قطع نظر ٹائپ سیف Python لکھنے کے لیے کون سی عملی حکمت عملی اپنا سکتے ہیں۔

بنیادی مسئلہ: خالی کنٹینرز فطری طور پر مبہم ہیں

ازگر کی اس معصوم لائن پر غور کریں: نتائج = []۔ کیا نتائج ایک فہرست[int] ہے؟ ایک فہرست[str]؟ ایک لسٹ[dict[str, Any]]؟ اضافی سیاق و سباق کے بغیر، حقیقی طور پر جاننے کا کوئی طریقہ نہیں ہے۔ ازگر کے رن ٹائم کی کوئی پرواہ نہیں ہے — فہرستیں فطرت کے لحاظ سے متفاوت ہیں — لیکن جامد قسم کے چیکرس کو اپنا کام کرنے کے لیے ہر متغیر کو ایک ٹھوس قسم تفویض کرنے کی ضرورت ہے۔ یہ Python کی متحرک لچک اور ان ضمانتوں کے درمیان ایک بنیادی تناؤ پیدا کرتا ہے جو جامد تجزیہ فراہم کرنے کی کوشش کرتا ہے۔

مسئلہ لغات اور سیٹوں کے ساتھ مل جاتا ہے۔ ایک خالی {} اصل میں ایک ڈکٹ کے طور پر تجزیہ کیا جاتا ہے، نہ کہ سیٹ، جو قسم کی سطح کے ابہام کے اوپر نحوی ابہام کا اضافہ کرتا ہے۔ اور نیسٹڈ کنٹینرز — سوچیں defaultdict(list) or results = {k: [] k for keys — inference engines کو ان کی حد تک دھکیلیں۔ ہر قسم کے چیکر نے اپنی اپنی ہیورسٹکس تیار کی ہے، اور فرق اس سے کہیں زیادہ اہم ہیں جتنا کہ زیادہ تر ڈویلپرز کو احساس ہوتا ہے۔

پروڈکشن سسٹمز میں حقیقی کام کے بوجھ کو پروسیسنگ کرتے ہیں — چاہے وہ کسٹمر کے ریکارڈ کو سنبھالنے والا CRM ہو، ایک انوائسنگ ماڈیول جو لائن آئٹمز تیار کرتا ہو، یا اینالیٹکس پائپ لائن کو جمع کرنے والی میٹرکس ہو — خالی کنٹینرز ابتدا کے نمونوں کے طور پر مسلسل ظاہر ہوتے ہیں۔ ان کی اقسام کو غلط حاصل کرنے سے صرف لنٹر وارننگ نہیں ملتی۔ یہ حقیقی کیڑے کو چھپا سکتا ہے جو رن ٹائم میں پھسل جاتے ہیں۔

Mypy: مضمر کسی کے ساتھ التوا کا اندازہ

Mypy، سب سے قدیم اور سب سے زیادہ وسیع پیمانے پر اپنایا جانے والا Python ٹائپ چیکر، خالی کنٹینرز کے لیے نسبتاً نرم رویہ اختیار کرتا ہے۔ جب یہ فنکشن کے دائرہ کار میں x = [] کا سامنا کرتا ہے، تو یہ قسم کے فیصلے کو موخر کرنے اور بعد کے استعمال سے عنصر کی قسم کا اندازہ لگانے کی کوشش کرتا ہے۔ اگر آپ x = [] کے بعد x.append(42) لکھتے ہیں، تو mypy list[int] کا اندازہ لگائے گا۔ یہ "شامل ہونے" کی حکمت عملی سیدھی سادی صورتوں کے لیے حیرت انگیز طور پر اچھی طرح سے کام کرتی ہے جہاں کنٹینر ایک ہی دائرہ کار میں آباد ہوتا ہے۔

تاہم، سیاق و سباق اور سختی کی ترتیبات کے لحاظ سے mypy کا رویہ ڈرامائی طور پر تبدیل ہوتا ہے۔ ماڈیول اسکوپ (اعلی سطحی کوڈ) پر، یا جب کنٹینر کو آباد ہونے سے پہلے کسی دوسرے فنکشن میں منتقل کیا جاتا ہے، mypy اکثر واپس list[Any] پر آ جاتا ہے۔ --سخت پرچم کے تحت، یہ ایک خرابی کو متحرک کرتا ہے، لیکن ڈیفالٹ موڈ میں یہ خاموشی سے گزر جاتا ہے۔ اس کا مطلب یہ ہے کہ سخت موڈ کے بغیر mypy چلانے والی ٹیمیں درجن بھر مضمر ٹائپ کنٹینرز جمع کر سکتی ہیں جو ٹائپ سسٹم سے فرار ہونے کا کام کرتے ہیں، اس کے مقصد کو شکست دیتے ہیں۔

ایک خاص طور پر لطیف رویہ: 0.990 سے پہلے کے mypy ورژن بعض اوقات اندرونی طور پر list[Unknown] کا اندازہ لگاتے ہیں اور پھر تفویض پر list[Any] تک وسیع ہوجاتے ہیں۔ 0.990 کے بعد، اندازہ سخت کر دیا گیا، لیکن اس تبدیلی نے حقیقی دنیا کے کوڈ بیسز کی ایک حیرت انگیز تعداد کو توڑ دیا جو اس کو سمجھے بغیر اجازت دینے والے رویے پر انحصار کر رہے تھے۔ یہ ایک بار بار چلنے والی تھیم ہے — خالی کنٹینر کے تخمینے میں تبدیلیاں سب سے زیادہ خلل ڈالنے والی قسم کے چیکر اپ ڈیٹس میں سے ہیں کیونکہ پیٹرن بہت زیادہ عام ہیں۔

حقیقی حق: سخت اندازہ اور "نامعلوم" قسم

Pyright، Microsoft کی طرف سے تیار کیا گیا ہے اور Pylance کو VS Code میں طاقت دیتا ہے، ایک بنیادی طور پر مختلف فلسفیانہ موقف اختیار کرتا ہے۔ خاموشی سے کسی بھی پر واپس آنے کے بجائے، pyright نامعلوم (ایسی قسم جس کا ابھی تک تعین نہیں کیا گیا ہے) اور کوئی بھی (ٹائپ چیکنگ سے واضح آپٹ آؤٹ) کے درمیان فرق کرتا ہے۔ جب آپ pyright کے سخت موڈ میں x = [] لکھتے ہیں، تو یہ فہرست[نامعلوم] کا اندازہ لگاتا ہے اور ایک تشخیصی کی اطلاع دیتا ہے، جو آپ کو تشریح فراہم کرنے پر مجبور کرتا ہے۔

Pyright دائرہ کار کو تنگ کرنے کے بارے میں بھی زیادہ جارحانہ ہے۔ اگر آپ لکھتے ہیں:

• x = [] اس کے بعد x.append("hello") — pyright infers list[str]
• x = [] اس کے بعد x.append(1) پھر x.append("hello") — pyright infers list[int | str]
• x = [] براہ راست ایک فنکشن کو منتقل کیا گیا جس کی توقع ہے کہ list[int] — pyright infers list[int] کال سائٹ کے سیاق و سباق سے
• x = [] واپسی کی قسم کی تشریح کے بغیر کسی فنکشن سے واپس آیا — pyright اندازہ لگانے کے بجائے غلطی کی اطلاع دیتا ہے

یہ دو طرفہ تخمینہ (بعد میں استعمال اور کال سائٹس سے متوقع اقسام دونوں کا استعمال کرتے ہوئے) pyright کو خالی کنٹینرز کے لیے mypy سے خاص طور پر زیادہ درست بناتا ہے۔ ٹریڈ آف لفظی ہے: متعدد اوپن سورس مائیگریشن رپورٹس کے تجزیہ کے مطابق، mypy کے سخت موڈ کے مقابلے میں pyright کا سخت موڈ تقریباً 30-40% زیادہ مسائل کو جھنڈا دیتا ہے۔ پیچیدہ بیک اینڈ سسٹمز بنانے والی ٹیموں کے لیے — کہتے ہیں کہ CRM، پے رول، اور اینالیٹکس پر پھیلے ہوئے 207 باہم منسلک ماڈیولز کا انتظام کرنے والا ایک پلیٹ فارم — pyright کی سختی ان لطیف انٹرفیس کی مماثلتوں کو پکڑتی ہے جس سے نرمی کا اندازہ چھوٹ جائے گا۔

Pytype and Pyre: The Less Traveled Roads

Google کا pytype شاید سب سے زیادہ عملی طریقہ اختیار کرتا ہے۔ تشریحات کی ضرورت کرنے یا کسی بھی پر واپس آنے کے بجائے، pytype پورے پروگرام کے تجزیہ کا استعمال کرتا ہے تاکہ یہ معلوم کیا جا سکے کہ فنکشن کی حدود میں کنٹینر کا استعمال کیسے کیا جاتا ہے۔ اگر آپ ایک فنکشن میں ایک خالی فہرست بناتے ہیں اور اسے دوسرے کو منتقل کرتے ہیں جس میں انٹیجرز شامل ہوتے ہیں، تو pytype اکثر بغیر کسی تشریح کے list[int] کا اندازہ لگا سکتا ہے۔ یہ کراس فنکشن تخمینہ کمپیوٹیشنل طور پر مہنگا ہے — pytype بڑے کوڈ بیسز پر mypy یا pyright کے مقابلے میں نمایاں طور پر سست ہے — لیکن یہ غیر تشریح شدہ کوڈ پر کم غلط مثبت پیدا کرتا ہے۔

Pytype خالی کنٹینرز کے لیے "جزوی قسمیں" کا تصور بھی متعارف کراتا ہے۔ ایک تازہ تخلیق کردہ [> ایک جزوی قسم حاصل کرتا ہے جو بتدریج بہتر ہوتا ہے کیونکہ چیکر کو زیادہ استعمال کا سامنا کرنا پڑتا ہے۔ یہ تصوراتی طور پر خوبصورت ہے لیکن جب جزوی قسم کو مکمل طور پر حل نہیں کیا جا سکتا ہے تو یہ مبہم خرابی کے پیغامات پیدا کر سکتا ہے، جیسے کہ جب ایک خالی کنٹینر کبھی بھی آباد کیے بغیر کئی فنکشنز سے گزرتا ہے۔

Meta's pyre، اس دوران، mypy کے رویے کے قریب تر ہوتا ہے لیکن سخت ڈیفالٹس کے ساتھ۔ Pyre x = [] کو list[نامعلوم] کے طور پر مانتا ہے اور زیادہ تر سیاق و سباق میں تشریح کی ضرورت ہوتی ہے۔ جہاں pyre اپنے آپ کو مختلف کرتا ہے وہ اس کے خالی ڈکشنری لٹریلز کو بطور kwargs استعمال کیا جاتا ہے - ویب فریم ورک میں ایک عام نمونہ۔ Pyre کے پاس کلیدی الفاظ کے استدلال کے سیاق و سباق سے لغت کی اقسام کا اندازہ لگانے کے لیے خصوصی کیس کی منطق ہے، جس سے فریم ورک ہیوی کوڈ بیس میں تشریح کا بوجھ کم ہوتا ہے۔ یہ دیکھتے ہوئے کہ زیادہ تر جدید ویب ایپلیکیشنز میں کنفیگریشن اور درخواست ہینڈلنگ کے لیے لغت کھولنے کا بھاری استعمال شامل ہے، یہ عملیت پسندی منافع بخش ہے۔

حقیقی دنیا کا اثر: جب Inference Divergence کاٹتا ہے

ٹائپ چیکرس کے درمیان فرق اس وقت تک علمی معلوم ہوسکتے ہیں جب تک کہ آپ ان کا تجربہ پروڈکشن کوڈ بیس میں نہ کریں۔ کاروباری ایپلی کیشنز میں ایک عام پیٹرن پر غور کریں: ڈیٹا ڈھانچہ شروع کرنا جو مشروط طور پر آباد ہوتا ہے۔

سب سے زیادہ خطرناک خالی کنٹینرز وہ قسم کے چیکرس فلیگ نہیں ہوتے ہیں — یہ وہ ہوتے ہیں جو خاموشی سے کسی قیاس کسی بھی قسم کے ساتھ گزر جاتے ہیں، غیر مطابقت پذیر ڈیٹا کو بغیر انتباہ کے جمع ہونے کی اجازت دیتے ہیں جب تک کہ رن ٹائم پر TypeError کے ساتھ کوئی ڈاون اسٹریم فنکشن کریش نہ ہو جائے جو کہ تقریباً ناممکن ہے۔

ایک ٹھوس مثال: فنٹیک اسٹارٹ اپ میں ایک ٹیم نے تین دن پروڈکشن ایشو کو ڈیبگ کرنے میں خرچ کرنے کی اطلاع دی جہاں ایک خالی فہرست، جو کہ ادائیگی کی پروسیسنگ فنکشن میں شروع کی گئی تھی، کو mypy کے ذریعہ list[Any] کے طور پر پیش کیا گیا تھا۔ فہرست میں کرنسی کی مقدار کے لیے اعشاریہ آبجیکٹ ہونا چاہیے تھا، لیکن ایک کوڈ پاتھ اس کی بجائے فلوٹ اقدار کو شامل کر رہا تھا۔ میپی کے نرم انداز نے خاموشی سے اس کی اجازت دے دی۔ بگ صرف اس وقت سامنے آیا جب فلوٹ ریاضی میں راؤنڈنگ کی غلطیوں کی وجہ سے 12,000 رسیدوں کے بیچ میں $0.01 میں تضاد پیدا ہوا۔ اگر انہوں نے pyright کو سخت موڈ میں استعمال کیا ہوتا، یا خالی فہرست کو صرف list[decimal] کے طور پر لکھا ہوتا، تو بگ ڈیولپمنٹ کے وقت پکڑا جاتا۔

Mewayz میں، جہاں پلیٹ فارم 138,000+ صارف اکاؤنٹس میں انوائسنگ، پے رول کے حسابات، اور مالیاتی تجزیات پر کارروائی کرتا ہے، اس قسم کی حفاظت کا فرق نظریاتی نہیں ہے — یہ درست پے رول رنز اور مہنگے دوبارہ گنتی کے درمیان فرق ہے۔ کنٹینر کی شروعات کے ارد گرد ٹائپنگ کا سخت نظم و ضبط ان "بورنگ" انجینئرنگ طریقوں میں سے ایک ہے جو پیداوار کے دلچسپ واقعات کو روکتا ہے۔

دفاعی کنٹینر کے آغاز کے لیے بہترین طرز عمل

اس سے قطع نظر کہ آپ کی ٹیم کس قسم کا چیکر استعمال کرتی ہے، خالی کنٹینر کے ابہام کو مکمل طور پر ختم کرنے کے لیے ٹھوس حکمت عملی موجود ہے۔ مقصد یہ ہے کہ خالی کنٹینرز کے لیے کبھی بھی تخمینے پر انحصار نہ کریں — قسم کو واضح کریں تاکہ آپ کا کوڈ تمام چیکرس پر پورٹیبل ہو اور ورژن کے درمیان رویے کی تبدیلیوں کے لیے استثنیٰ حاصل ہو۔

1. ہمیشہ خالی کنٹینر متغیرات کی تشریح کریں۔ نتائج = [] کی بجائے نتائج: list[int] = [] لکھیں۔ ڈیبگنگ کے بچائے گئے وقت کے مقابلے میں معمولی لفظی لاگت نہ ہونے کے برابر ہے۔ یہ واحد مشق تقریباً 80% خالی کنٹینر کے تخمینے کے مسائل کو ختم کر دیتی ہے۔
2. پیچیدہ کنٹینرز کے لیے فیکٹری فنکشنز استعمال کریں۔ cache = {} کے بجائے، ایک فنکشن لکھیں جیسے def make_cache() -> dict[str, list[UserRecord]]: return {}۔ واپسی کی قسم کی تشریح مطلوبہ قسم کو غیر مبہم اور خود دستاویزی بناتی ہے۔
3. غیر معمولی قسموں کے لیے لٹریلز پر ٹائپ کنسٹرکٹرز کو ترجیح دیں۔ آئٹمز: سیٹ[int] = set() لکھیں بجائے کہ سیٹ فہمی تخمینہ پر انحصار کریں۔ defaultdict اور counter کے لیے، ہمیشہ ٹائپ پیرامیٹر فراہم کریں: counts: Counter[str] = Counter().
4. نئے کوڈ کے لیے اپنے ٹائپ چیکر کے سخت موڈ کو کنفیگر کریں۔ mypy اور pyright دونوں فی فائل یا فی ڈائرکٹری کنفیگریشن کو سپورٹ کرتے ہیں۔ لیگیسی کوڈ کو بتدریج منتقل کرتے ہوئے نئے ماڈیولز پر سخت چیکنگ کو فعال کریں۔ یہ نئے مضمر ٹائپ کنٹینرز کو جمع ہونے سے روکتا ہے۔
5. اپنی CI پائپ لائن میں موازنہ ٹائپ چیکر شامل کریں۔ اگر پیٹرن ایک چیکر کو پاس کرتا ہے لیکن دوسرے میں ناکام ہوجاتا ہے، تو یہ اس بات کا اشارہ ہے کہ قسم کافی واضح نہیں ہے۔