പൈത്തൺ കോഡിന്റെ 4 ദശലക്ഷം ലൈനുകൾ ടൈപ്പ് ചെക്ക് ചെയ്യുന്നതിനുള്ള പാത. ഭാഗം 3

പൈത്തൺ കോഡിനായി ഒരു തരം പരിശോധന സംവിധാനം നടപ്പിലാക്കുമ്പോൾ ഡ്രോപ്പ്ബോക്സ് സ്വീകരിച്ച പാതയെക്കുറിച്ചുള്ള മെറ്റീരിയലിന്റെ വിവർത്തനത്തിന്റെ മൂന്നാം ഭാഗം ഞങ്ങൾ നിങ്ങളുടെ ശ്രദ്ധയിൽപ്പെടുത്തുന്നു.

→ മുൻ ഭാഗങ്ങൾ: ആദ്യം и രണ്ടാമത്തേത്

ടൈപ്പ് ചെയ്‌ത കോഡിന്റെ 4 ദശലക്ഷം ലൈനുകളിൽ എത്തി

മറ്റൊരു പ്രധാന വെല്ലുവിളി (ആന്തരികമായി സർവേയിൽ പങ്കെടുത്തവരിൽ രണ്ടാമത്തെ ഏറ്റവും സാധാരണമായ ആശങ്ക) ഡ്രോപ്പ്ബോക്സിലെ ടൈപ്പ് ചെക്കുകളുടെ പരിധിയിൽ വരുന്ന കോഡിന്റെ അളവ് വർദ്ധിപ്പിക്കുക എന്നതായിരുന്നു. ടൈപ്പ് ചെയ്‌ത കോഡ്‌ബേസിന്റെ വലുപ്പം സ്വാഭാവികമായി വർദ്ധിപ്പിക്കുന്നത് മുതൽ സ്റ്റാറ്റിക്, ഡൈനാമിക് ഓട്ടോമേറ്റഡ് തരം അനുമാനത്തിൽ mypy ടീമിന്റെ ശ്രമങ്ങൾ കേന്ദ്രീകരിക്കുന്നത് വരെ ഈ പ്രശ്‌നം പരിഹരിക്കാൻ ഞങ്ങൾ നിരവധി സമീപനങ്ങൾ പരീക്ഷിച്ചു. അവസാനം, ലളിതമായ വിജയ തന്ത്രം ഇല്ലെന്ന് തോന്നി, പക്ഷേ നിരവധി സമീപനങ്ങൾ സംയോജിപ്പിച്ച് വ്യാഖ്യാനിച്ച കോഡിന്റെ അളവിൽ ദ്രുതഗതിയിലുള്ള വളർച്ച കൈവരിക്കാൻ ഞങ്ങൾക്ക് കഴിഞ്ഞു.

തൽഫലമായി, ഞങ്ങളുടെ ഏറ്റവും വലിയ പൈത്തൺ ശേഖരണത്തിൽ (ബാക്കെൻഡ് കോഡിനൊപ്പം) ഏകദേശം 4 ദശലക്ഷം വരികൾ വ്യാഖ്യാനിച്ച കോഡ് ഉണ്ട്. സ്റ്റാറ്റിക് കോഡ് ടൈപ്പിംഗിന്റെ ജോലി ഏകദേശം മൂന്ന് വർഷം കൊണ്ട് പൂർത്തിയായി. ടൈപ്പിംഗ് പുരോഗതി നിരീക്ഷിക്കുന്നത് എളുപ്പമാക്കുന്ന വിവിധ തരത്തിലുള്ള കോഡ് കവറേജ് റിപ്പോർട്ടുകളെ Mypy ഇപ്പോൾ പിന്തുണയ്ക്കുന്നു. പ്രത്യേകിച്ചും, തരങ്ങളിലെ അവ്യക്തതകളുള്ള കോഡിനെക്കുറിച്ച് ഞങ്ങൾക്ക് റിപ്പോർട്ടുകൾ സൃഷ്ടിക്കാൻ കഴിയും, ഉദാഹരണത്തിന്, ഒരു തരത്തിന്റെ വ്യക്തമായ ഉപയോഗം Any സ്ഥിരീകരിക്കാൻ കഴിയാത്ത വ്യാഖ്യാനങ്ങളിൽ അല്ലെങ്കിൽ തരം വ്യാഖ്യാനങ്ങളില്ലാത്ത മൂന്നാം കക്ഷി ലൈബ്രറികൾ ഇറക്കുമതി ചെയ്യുന്നത് പോലെയുള്ള കാര്യങ്ങളിൽ. ഡ്രോപ്പ്ബോക്സിലെ ടൈപ്പ് ചെക്കിംഗിന്റെ കൃത്യത മെച്ചപ്പെടുത്തുന്നതിനുള്ള ഒരു പ്രോജക്റ്റിന്റെ ഭാഗമായി, ഒരു കേന്ദ്രീകൃത പൈത്തൺ ശേഖരണത്തിലെ ചില ജനപ്രിയ ഓപ്പൺ സോഴ്‌സ് ലൈബ്രറികൾക്കായി തരം നിർവചനങ്ങൾ (സ്റ്റബ് ഫയലുകൾ എന്ന് വിളിക്കപ്പെടുന്നവ) മെച്ചപ്പെടുത്തുന്നതിന് ഞങ്ങൾ സംഭാവന നൽകി. ടൈപ്പ്ഷെഡ്.

ചില നിർദ്ദിഷ്ട പൈത്തൺ പാറ്റേണുകൾക്കായി കൂടുതൽ കൃത്യമായ തരങ്ങൾ അനുവദിക്കുന്ന ടൈപ്പ് സിസ്റ്റത്തിന്റെ പുതിയ സവിശേഷതകൾ ഞങ്ങൾ നടപ്പിലാക്കി (തുടർന്നുള്ള PEP-കളിൽ സ്റ്റാൻഡേർഡ്). ഇതിന്റെ ശ്രദ്ധേയമായ ഒരു ഉദാഹരണമാണ് TypeDict, JSON പോലുള്ള നിഘണ്ടുക്കൾക്ക് ഒരു നിശ്ചിത സ്ട്രിംഗ് കീകളുള്ള തരങ്ങൾ നൽകുന്നു, ഓരോന്നിനും അതിന്റേതായ തരത്തിലുള്ള മൂല്യമുണ്ട്. ഞങ്ങൾ ടൈപ്പ് സിസ്റ്റം വിപുലീകരിക്കുന്നത് തുടരും. പൈത്തണിന്റെ സംഖ്യാപരമായ കഴിവുകൾക്കുള്ള പിന്തുണ മെച്ചപ്പെടുത്തുന്നതായിരിക്കും ഞങ്ങളുടെ അടുത്ത ഘട്ടം.

വ്യാഖ്യാനിച്ച കോഡിന്റെ വരികളുടെ എണ്ണം: സെർവർ

വ്യാഖ്യാനിച്ച കോഡിന്റെ വരികളുടെ എണ്ണം: ക്ലയന്റ്

വ്യാഖ്യാനിച്ച കോഡിന്റെ ആകെ വരികളുടെ എണ്ണം

ഡ്രോപ്പ്ബോക്സിൽ വ്യാഖ്യാനിച്ച കോഡിന്റെ അളവ് വർദ്ധിപ്പിക്കുന്നതിന് ഞങ്ങൾ ചെയ്ത കാര്യങ്ങളുടെ പ്രധാന സവിശേഷതകളുടെ ഒരു അവലോകനം ഇതാ:

വ്യാഖ്യാന കർക്കശത. പുതിയ കോഡ് വ്യാഖ്യാനിക്കാനുള്ള കാഠിന്യത്തിനായുള്ള ആവശ്യകതകൾ ഞങ്ങൾ ക്രമേണ വർദ്ധിപ്പിച്ചു. ഇതിനകം ചില വ്യാഖ്യാനങ്ങളുള്ള ഫയലുകളിലേക്ക് വ്യാഖ്യാനങ്ങൾ ചേർക്കാൻ നിർദ്ദേശിക്കുന്ന ലിന്റർ ടിപ്പുകൾ ഉപയോഗിച്ചാണ് ഞങ്ങൾ ആരംഭിച്ചത്. പുതിയ പൈത്തൺ ഫയലുകളിലും നിലവിലുള്ള മിക്ക ഫയലുകളിലും നമുക്ക് ഇപ്പോൾ ടൈപ്പ് വ്യാഖ്യാനങ്ങൾ ആവശ്യമാണ്.

റിപ്പോർട്ടുകൾ ടൈപ്പുചെയ്യുന്നു. ഞങ്ങൾ ടീമുകൾക്ക് അവരുടെ കോഡിൽ ടൈപ്പുചെയ്യുന്നതിന്റെ നിലവാരത്തെക്കുറിച്ച് പ്രതിവാര റിപ്പോർട്ടുകൾ അയയ്ക്കുകയും ആദ്യം എന്താണ് വ്യാഖ്യാനിക്കേണ്ടത് എന്നതിനെക്കുറിച്ചുള്ള ഉപദേശം നൽകുകയും ചെയ്യുന്നു.

മൈപിയുടെ ജനപ്രിയത. ഞങ്ങൾ ഇവന്റുകളിൽ മൈപിയെക്കുറിച്ച് സംസാരിക്കുകയും ടൈപ്പ് വ്യാഖ്യാനങ്ങൾ ആരംഭിക്കാൻ ടീമുകളെ സഹായിക്കാൻ അവരുമായി സംസാരിക്കുകയും ചെയ്യുന്നു.

വോട്ടെടുപ്പ്. പ്രധാന പ്രശ്നങ്ങൾ തിരിച്ചറിയാൻ ഞങ്ങൾ ആനുകാലിക ഉപയോക്തൃ സർവേകൾ നടത്തുന്നു. ഈ പ്രശ്‌നങ്ങൾ പരിഹരിക്കുന്നതിൽ വളരെയധികം മുന്നോട്ട് പോകാൻ ഞങ്ങൾ തയ്യാറാണ് (മൈപി വേഗത്തിലാക്കാൻ ഒരു പുതിയ ഭാഷ സൃഷ്ടിക്കുക പോലും!).

പ്രകടനം. ഡെമൺ, മൈപിക് എന്നിവ ഉപയോഗിച്ച് ഞങ്ങൾ മൈപിയുടെ പ്രകടനം വളരെയധികം മെച്ചപ്പെടുത്തിയിട്ടുണ്ട്. വ്യാഖ്യാന പ്രക്രിയയിൽ ഉണ്ടാകുന്ന അസൗകര്യങ്ങൾ പരിഹരിക്കുന്നതിനും വലിയ അളവിലുള്ള കോഡ് ഉപയോഗിച്ച് പ്രവർത്തിക്കുന്നതിനും വേണ്ടിയാണ് ഇത് ചെയ്തത്.

എഡിറ്റർമാരുമായുള്ള സംയോജനം. ഡ്രോപ്പ്‌ബോക്‌സിൽ ജനപ്രിയമായ എഡിറ്ററുകളിൽ mypy പ്രവർത്തിപ്പിക്കുന്നതിന് പിന്തുണയ്‌ക്കാൻ ഞങ്ങൾ ടൂളുകൾ നിർമ്മിച്ചിട്ടുണ്ട്. ഇതിൽ PyCharm, Vim, VS കോഡ് എന്നിവ ഉൾപ്പെടുന്നു. ഇത് കോഡ് വ്യാഖ്യാനിക്കുന്നതിനും അതിന്റെ പ്രവർത്തനക്ഷമത പരിശോധിക്കുന്നതിനുമുള്ള പ്രക്രിയയെ വളരെ ലളിതമാക്കി. നിലവിലുള്ള കോഡ് വ്യാഖ്യാനിക്കുമ്പോൾ ഇത്തരത്തിലുള്ള പ്രവർത്തനങ്ങൾ സാധാരണമാണ്.

സ്റ്റാറ്റിക് വിശകലനം. സ്റ്റാറ്റിക് അനാലിസിസ് ടൂളുകൾ ഉപയോഗിച്ച് ഫംഗ്‌ഷൻ സിഗ്നേച്ചറുകൾ അനുമാനിക്കാൻ ഞങ്ങൾ ഒരു ടൂൾ സൃഷ്‌ടിച്ചു. ഈ ടൂളിന് താരതമ്യേന ലളിതമായ സാഹചര്യങ്ങളിൽ മാത്രമേ പ്രവർത്തിക്കാനാകൂ, എന്നാൽ വലിയ പരിശ്രമമില്ലാതെ ഞങ്ങളുടെ കോഡ് തരം കവറേജ് വർദ്ധിപ്പിക്കാൻ ഇത് ഞങ്ങളെ സഹായിച്ചു.

മൂന്നാം കക്ഷി ലൈബ്രറികൾക്കുള്ള പിന്തുണ. ഞങ്ങളുടെ പല പ്രോജക്ടുകളും SQLAlchemy ടൂൾകിറ്റ് ഉപയോഗിക്കുന്നു. PEP 484 തരങ്ങൾക്ക് നേരിട്ട് മോഡൽ ചെയ്യാൻ സാധിക്കാത്ത പൈത്തണിന്റെ ചലനാത്മക കഴിവുകൾ ഇത് പ്രയോജനപ്പെടുത്തുന്നു. ഞങ്ങൾ, PEP 561 അനുസരിച്ച്, അനുബന്ധ സ്റ്റബ് ഫയൽ സൃഷ്‌ടിക്കുകയും mypy-യ്‌ക്കായി ഒരു പ്ലഗിൻ എഴുതുകയും ചെയ്തു (തുറന്ന ഉറവിടം), ഇത് SQLalchemy പിന്തുണ മെച്ചപ്പെടുത്തുന്നു.

ഞങ്ങൾ നേരിട്ട ബുദ്ധിമുട്ടുകൾ

ടൈപ്പ് ചെയ്‌ത കോഡിന്റെ 4 ദശലക്ഷം ലൈനുകളിലേക്കുള്ള പാത എല്ലായ്പ്പോഴും ഞങ്ങൾക്ക് എളുപ്പമായിരുന്നില്ല. ഈ പാതയിൽ ഞങ്ങൾ നിരവധി കുഴികൾ നേരിടുകയും നിരവധി തെറ്റുകൾ വരുത്തുകയും ചെയ്തു. ഞങ്ങൾ നേരിട്ട ചില പ്രശ്നങ്ങൾ ഇവയാണ്. അവരെക്കുറിച്ച് പറയുന്നത് സമാനമായ പ്രശ്നങ്ങൾ ഒഴിവാക്കാൻ മറ്റുള്ളവരെ സഹായിക്കുമെന്ന് ഞങ്ങൾ പ്രതീക്ഷിക്കുന്നു.

ഫയലുകൾ കാണുന്നില്ല. ചെറിയ അളവിലുള്ള ഫയലുകൾ മാത്രം പരിശോധിച്ച് ഞങ്ങൾ ഞങ്ങളുടെ ജോലി ആരംഭിച്ചു. ഈ ഫയലുകളിൽ ഉൾപ്പെടുത്താത്ത ഒന്നും പരിശോധിച്ചിട്ടില്ല. ആദ്യത്തെ വ്യാഖ്യാനങ്ങൾ അവയിൽ പ്രത്യക്ഷപ്പെട്ടപ്പോൾ ഫയലുകൾ സ്കാനിംഗ് ലിസ്റ്റിലേക്ക് ചേർത്തു. സ്ഥിരീകരണത്തിന്റെ പരിധിക്ക് പുറത്തുള്ള ഒരു മൊഡ്യൂളിൽ നിന്ന് എന്തെങ്കിലും ഇറക്കുമതി ചെയ്തിട്ടുണ്ടെങ്കിൽ, ഞങ്ങൾ സംസാരിക്കുന്നത് ഇതുപോലുള്ള മൂല്യങ്ങളുമായി പ്രവർത്തിക്കുന്നതിനെക്കുറിച്ചാണ്. Any, ഒട്ടും പരീക്ഷിക്കപ്പെട്ടിട്ടില്ല. ഇത് ടൈപ്പിംഗ് കൃത്യതയുടെ ഗണ്യമായ നഷ്ടത്തിലേക്ക് നയിച്ചു, പ്രത്യേകിച്ച് കുടിയേറ്റത്തിന്റെ ആദ്യ ഘട്ടങ്ങളിൽ. അവലോകനത്തിന്റെ പരിധിയിലേക്ക് ഫയലുകൾ ചേർക്കുന്നത് കോഡ്ബേസിന്റെ മറ്റ് ഭാഗങ്ങളിലെ പ്രശ്നങ്ങൾ വെളിപ്പെടുത്തുന്ന ഒരു സാധാരണ സാഹചര്യമാണെങ്കിലും, ഈ സമീപനം ഇതുവരെ അത്ഭുതകരമായി നന്നായി പ്രവർത്തിച്ചിട്ടുണ്ട്. ഏറ്റവും മോശം സാഹചര്യത്തിൽ, കോഡിന്റെ രണ്ട് ഒറ്റപ്പെട്ട മേഖലകൾ ലയിപ്പിച്ചപ്പോൾ, അതിൽ, പരസ്പരം സ്വതന്ത്രമായി, തരങ്ങൾ ഇതിനകം പരിശോധിച്ചു, ഈ മേഖലകളുടെ തരങ്ങൾ പരസ്പരം പൊരുത്തപ്പെടുന്നില്ലെന്ന് തെളിഞ്ഞു. ഇത് വ്യാഖ്യാനങ്ങളിൽ പല മാറ്റങ്ങളും വരുത്തേണ്ടതിന്റെ ആവശ്യകതയിലേക്ക് നയിച്ചു. ഇപ്പോൾ തിരിഞ്ഞുനോക്കുമ്പോൾ, മൈപി ടൈപ്പ് ചെക്കിംഗ് ഏരിയയിലേക്ക് ഞങ്ങൾ കോർ ലൈബ്രറി മൊഡ്യൂളുകൾ ചേർക്കേണ്ടതായിരുന്നുവെന്ന് ഞങ്ങൾ മനസ്സിലാക്കുന്നു. ഇത് ഞങ്ങളുടെ ജോലിയെ കൂടുതൽ പ്രവചനാതീതമാക്കും.

പഴയ കോഡ് വ്യാഖ്യാനിക്കുന്നു. ഞങ്ങൾ ആരംഭിക്കുമ്പോൾ, നിലവിലുള്ള പൈത്തൺ കോഡിന്റെ ഏകദേശം 4 ദശലക്ഷം ലൈനുകൾ ഞങ്ങളുടെ പക്കലുണ്ടായിരുന്നു. ഈ കോഡുകളെല്ലാം വ്യാഖ്യാനിക്കുന്നത് എളുപ്പമുള്ള കാര്യമല്ലെന്ന് വ്യക്തമായിരുന്നു. ഞങ്ങൾ PyAnnotate എന്നൊരു ടൂൾ സൃഷ്‌ടിച്ചിരിക്കുന്നു, അത് പരിശോധനകൾ നടക്കുമ്പോൾ തരം വിവരങ്ങൾ ശേഖരിക്കാനും ശേഖരിച്ച വിവരങ്ങളെ അടിസ്ഥാനമാക്കി നിങ്ങളുടെ കോഡിലേക്ക് ടൈപ്പ് വ്യാഖ്യാനങ്ങൾ ചേർക്കാനും കഴിയും. എന്നിരുന്നാലും, ഈ ഉപകരണം പ്രത്യേകിച്ച് വ്യാപകമായി സ്വീകരിക്കുന്നത് ഞങ്ങൾ ശ്രദ്ധിച്ചിട്ടില്ല. തരം വിവരങ്ങൾ ശേഖരിക്കുന്നത് മന്ദഗതിയിലായിരുന്നു, കൂടാതെ സ്വയമേവ ജനറേറ്റുചെയ്ത വ്യാഖ്യാനങ്ങൾക്ക് പലപ്പോഴും നിരവധി മാനുവൽ എഡിറ്റുകൾ ആവശ്യമാണ്. ഞങ്ങൾ കോഡ് അവലോകനം ചെയ്യുമ്പോഴെല്ലാം ഈ ടൂൾ സ്വയമേവ പ്രവർത്തിപ്പിക്കുന്നതിനെക്കുറിച്ചോ അല്ലെങ്കിൽ യഥാർത്ഥ നെറ്റ്‌വർക്ക് അഭ്യർത്ഥനകളുടെ ചെറിയ വോള്യം വിശകലനം ചെയ്യുന്നതിനെ അടിസ്ഥാനമാക്കി തരം വിവരങ്ങൾ ശേഖരിക്കുന്നതിനെക്കുറിച്ചോ ഞങ്ങൾ ചിന്തിച്ചു, എന്നാൽ രണ്ട് സമീപനവും വളരെ അപകടസാധ്യതയുള്ളതിനാൽ അത് വേണ്ടെന്ന് തീരുമാനിച്ചു.

തൽഫലമായി, ഭൂരിഭാഗം കോഡുകളും അതിന്റെ ഉടമകൾ സ്വമേധയാ വ്യാഖ്യാനിച്ചതായി ശ്രദ്ധിക്കാവുന്നതാണ്. ഈ പ്രക്രിയയെ ശരിയായ ദിശയിലേക്ക് നയിക്കുന്നതിന്, വ്യാഖ്യാനിക്കേണ്ട പ്രധാനപ്പെട്ട മൊഡ്യൂളുകളെക്കുറിച്ചും പ്രവർത്തനങ്ങളെക്കുറിച്ചും ഞങ്ങൾ റിപ്പോർട്ടുകൾ തയ്യാറാക്കുന്നു. ഉദാഹരണത്തിന്, നൂറുകണക്കിന് സ്ഥലങ്ങളിൽ ഉപയോഗിക്കുന്ന ഒരു ലൈബ്രറി മൊഡ്യൂളിനായി തരം വ്യാഖ്യാനങ്ങൾ നൽകേണ്ടത് പ്രധാനമാണ്. എന്നാൽ പുതിയ സേവനം ഉപയോഗിച്ച് മാറ്റിസ്ഥാപിക്കുന്ന ഒരു പഴയ സേവനം ഇനി വ്യാഖ്യാനിക്കേണ്ടത് അത്ര പ്രധാനമല്ല. ലെഗസി കോഡിനായി തരം വ്യാഖ്യാനങ്ങൾ സൃഷ്ടിക്കുന്നതിന് സ്റ്റാറ്റിക് വിശകലനം ഉപയോഗിക്കുന്നതും ഞങ്ങൾ പരീക്ഷിച്ചുവരികയാണ്.

സൈക്ലിക് ഇറക്കുമതി. മുകളിൽ, ഞാൻ ചാക്രിക ഇറക്കുമതികളെക്കുറിച്ചാണ് സംസാരിച്ചത് ("ഡിപൻഡൻസി ടാൻഗിൾസ്"), ഇവയുടെ അസ്തിത്വം mypy വേഗത്തിലാക്കുന്നത് ബുദ്ധിമുട്ടാക്കി. ഈ ചാക്രിക ഇറക്കുമതികൾ മൂലമുണ്ടാകുന്ന എല്ലാത്തരം ഭാഷകളെയും mypy പിന്തുണയ്‌ക്കുന്നതിന് ഞങ്ങൾ കഠിനാധ്വാനം ചെയ്യേണ്ടിവന്നു. വൃത്താകൃതിയിലുള്ള ഇറക്കുമതിയുമായി ബന്ധപ്പെട്ട മിക്ക മൈപിയുടെ പ്രശ്‌നങ്ങളും പരിഹരിച്ച ഒരു പ്രധാന സിസ്റ്റം പുനർരൂപകൽപ്പന പ്രോജക്റ്റ് ഞങ്ങൾ അടുത്തിടെ പൂർത്തിയാക്കി. മൈപി പ്രോജക്റ്റ് ആദ്യം ശ്രദ്ധ കേന്ദ്രീകരിച്ച വിദ്യാഭ്യാസ ഭാഷയായ അലോറിൽ നിന്നാണ് ഈ പ്രശ്‌നങ്ങൾ യഥാർത്ഥത്തിൽ പ്രോജക്റ്റിന്റെ ആദ്യ നാളുകളിൽ നിന്ന് ഉടലെടുത്തത്. സൈക്ലിക് ഇംപോർട്ട് കമാൻഡുകളിലെ പ്രശ്നങ്ങൾ പരിഹരിക്കുന്നത് Alore വാക്യഘടന എളുപ്പമാക്കുന്നു. ആധുനിക മൈപി അതിന്റെ നേരത്തെയുള്ള ലളിതമായ നിർവഹണത്തിൽ നിന്ന് ചില പരിമിതികൾ പാരമ്പര്യമായി സ്വീകരിച്ചിട്ടുണ്ട് (അലോറിന് ഇത് വളരെ അനുയോജ്യമാണ്). പൈത്തൺ സർക്കുലർ ഇമ്പോർട്ടുകൾ ഉപയോഗിച്ച് പ്രവർത്തിക്കുന്നത് ബുദ്ധിമുട്ടാക്കുന്നു, പ്രധാനമായും പദപ്രയോഗങ്ങൾ അവ്യക്തമാണ്. ഉദാഹരണത്തിന്, ഒരു അസൈൻമെന്റ് ഓപ്പറേഷൻ യഥാർത്ഥത്തിൽ ഒരു തരം അപരനാമം നിർവ്വചിച്ചേക്കാം. മിക്ക ഇംപോർട്ട് ലൂപ്പുകളും പ്രോസസ്സ് ചെയ്യപ്പെടുന്നതുവരെ Mypy-യ്ക്ക് എപ്പോഴും ഇതുപോലുള്ള കാര്യങ്ങൾ കണ്ടെത്താൻ കഴിയില്ല. ആളൂരിൽ അത്തരം അവ്യക്തതകളൊന്നും ഉണ്ടായിരുന്നില്ല. സിസ്റ്റം വികസനത്തിന്റെ പ്രാരംഭ ഘട്ടത്തിൽ എടുത്ത മോശം തീരുമാനങ്ങൾ വർഷങ്ങളോളം പ്രോഗ്രാമർക്ക് അസുഖകരമായ ആശ്ചര്യം സമ്മാനിക്കും.

ഫലങ്ങൾ: 5 ദശലക്ഷം കോഡുകളിലേക്കും പുതിയ ചക്രവാളങ്ങളിലേക്കുമുള്ള പാത

mypy പ്രോജക്റ്റ് ഒരുപാട് മുന്നോട്ട് പോയി - ആദ്യകാല പ്രോട്ടോടൈപ്പുകൾ മുതൽ 4 ദശലക്ഷം ലൈനുകൾ പ്രൊഡക്ഷൻ കോഡ് തരങ്ങൾ നിയന്ത്രിക്കുന്ന ഒരു സിസ്റ്റം വരെ. mypy പരിണമിച്ചപ്പോൾ, പൈത്തണിന്റെ തരം സൂചനകൾ സ്റ്റാൻഡേർഡ് ചെയ്യപ്പെട്ടു. ഈ ദിവസങ്ങളിൽ, പൈത്തൺ കോഡ് ടൈപ്പുചെയ്യുന്നതിന് ചുറ്റും ശക്തമായ ഒരു ആവാസവ്യവസ്ഥ വികസിച്ചു. ഇതിന് ലൈബ്രറി പിന്തുണയ്‌ക്കായി ഒരു സ്ഥലമുണ്ട്, അതിൽ IDE-കൾക്കും എഡിറ്റർമാർക്കുമുള്ള സഹായ ഉപകരണങ്ങൾ അടങ്ങിയിരിക്കുന്നു, ഇതിന് നിരവധി തരം നിയന്ത്രണ സംവിധാനങ്ങളുണ്ട്, അവയിൽ ഓരോന്നിനും അതിന്റേതായ ഗുണങ്ങളും ദോഷങ്ങളുമുണ്ട്.

ഡ്രോപ്പ്ബോക്സിൽ ടൈപ്പ് ചെക്കിംഗ് ഇതിനകം നൽകിയിട്ടുണ്ടെങ്കിലും, ഞങ്ങൾ ഇപ്പോഴും പൈത്തൺ കോഡ് ടൈപ്പ് ചെയ്യുന്നതിന്റെ ആദ്യ ദിവസങ്ങളിലാണെന്ന് ഞാൻ വിശ്വസിക്കുന്നു. ടൈപ്പ് ചെക്കിംഗ് സാങ്കേതികവിദ്യകൾ വികസിക്കുകയും മെച്ചപ്പെടുത്തുകയും ചെയ്യുമെന്ന് ഞാൻ കരുതുന്നു.

നിങ്ങളുടെ വലിയ തോതിലുള്ള പൈത്തൺ പ്രോജക്റ്റിൽ നിങ്ങൾ ഇതിനകം ടൈപ്പ് ചെക്കിംഗ് ഉപയോഗിച്ചിട്ടില്ലെങ്കിൽ, സ്റ്റാറ്റിക് ടൈപ്പിംഗിലേക്ക് നീങ്ങാൻ തുടങ്ങുന്നതിനുള്ള വളരെ നല്ല സമയമാണിതെന്ന് അറിയുക. സമാനമായ മാറ്റം വരുത്തിയവരുമായി ഞാൻ സംസാരിച്ചു. അവരാരും അതിൽ ഖേദിച്ചില്ല. ടൈപ്പ് ചെക്കിംഗ് പൈത്തണിനെ "പതിവ് പൈത്തൺ" എന്നതിനേക്കാൾ വലിയ പ്രോജക്ടുകൾ വികസിപ്പിക്കുന്നതിന് ഏറ്റവും അനുയോജ്യമായ ഭാഷയാക്കുന്നു.

പ്രിയ വായനക്കാർ! നിങ്ങളുടെ പൈത്തൺ പ്രോജക്റ്റുകളിൽ നിങ്ങൾ ടൈപ്പ് ചെക്കിംഗ് ഉപയോഗിക്കുന്നുണ്ടോ?

അവലംബം: www.habr.com