type hints और mypy जैसे checker से असल में क्या मिलता है?

type hints ऐसे annotations हैं जिन्हें Python runtime पर लागू नहीं करता; mypy या pyright जैसा static checker उन्हें पढ़कर कोड चलने से पहले गड़बड़ियां बता देता है। फायदा यह है कि None का वहां पहुंच जाना जहां असली वैल्यू चाहिए, ऐसी पूरी की पूरी श्रेणियों के बग पकड़े जाते हैं, साथ में एडिटर की completion और refactoring बहुत बेहतर होती है। ये docstring से ज्यादा भरोसेमंद तरीके से मंशा भी दर्ज करते हैं, क्योंकि docstring पुरानी पड़ जाती है।

runtime पर ये लगभग comments हैं, Python इन्हें रखता है और आगे बढ़ जाता है। असली कीमत तब बनती है जब कोई checker इन्हें पढ़ता है। Mypy वे उबाऊ बग पकड़ता है जो ज्यादातर incidents की वजह बनते हैं, मुख्य रूप से optional वैल्यू का ऐसे कोड में पहुंच जाना जो असली ऑब्जेक्ट मान रहा है, और refactor के बाद signature का बदल जाना जहां एक caller छूट गया हो। मुझे लगभग साठ हजार लाइन का एक codebase विरासत में मिला था जिसमें कोई annotation नहीं था; हमने mypy को लगभग सब कुछ बंद करके चालू किया, उसे CI में डाला ताकि errors की गिनती बढ़ न सके, फिर सीमाओं से शुरू करके module दर module types डाले, जहां डेटा अंदर आता है। strict mode बाद में आया, हर package के लिए अलग, pyproject में per module overrides के साथ। छह महीने में उसने एक payment path में None dereference रिव्यू के दौरान पकड़ा, रात के दो बजे नहीं। दूसरा फायदा जिसे लोग कम आंकते हैं वह एडिटर सपोर्ट है, क्योंकि असली types के साथ rename और go to definition सच में काम करते हैं, जिससे टीम किसी भी चीज को refactor करने में कहीं ज्यादा तैयार रहती है।