Ulinganisho wa Kikagua Aina ya Python: Uingizaji wa Kontena Tupu

Kwa nini Vyombo Vitupu Huvunja Vikagua vya Aina ya Chatu — Na Unachoweza Kufanya Kuihusu

Mfumo wa uchapaji taratibu wa Python umekomaa kwa kiasi kikubwa tangu PEP 484 ilipoanzisha vidokezo vya aina mwaka wa 2015. Leo, mamilioni ya wasanidi programu wanategemea vikagua aina tuli ili kupata hitilafu kabla ya kuzalisha. Lakini kuna kona ya hila, ya kukatisha tamaa ya mfumo wa aina ambayo bado inawavutia hata wahandisi wenye uzoefu: chombo tupu kina aina gani? Unapoandika x = [] bila kidokezo, kikagua aina yako lazima kikisie - na vikagua tofauti vinakisia tofauti. Tofauti hii huleta matatizo halisi kwa timu zinazodumisha misingi mikubwa ya msimbo, ambapo kubadili au kuchanganya vikagua aina kunaweza kuibua mamia ya hitilafu zisizotarajiwa mara moja.

Makala haya yanafafanua jinsi vikagua vinne vikuu vya aina ya Python - mypy, pyright, pytype, na pyre - kushughulikia uelekezaji wa chombo tupu, kwa nini hawakubaliani, na ni mikakati gani ya kivitendo unayoweza kuchukua ili kuandika Chatu ya aina-salama bila kujali chaguo lako la zana.

Tatizo Muhimu: Vyombo Vitupu Vina utata Asili

Zingatia mstari huu usio na hatia wa Python: matokeo = []. Je, matokeo ni orodha[int]? A orodha[str]? A orodha[dict[str, Any]]? Bila muktadha wa ziada, hakuna njia ya kujua. Wakati wa kukimbia wa Python haujali - orodha ni tofauti kwa asili - lakini vikagua vya aina tuli vinahitaji kugawa aina halisi kwa kila kigeuzi kufanya kazi yao. Hii inazua mvutano wa kimsingi kati ya unyumbufu unaobadilika wa Python na hakikisho ambalo uchanganuzi tuli hujaribu kutoa.

Tatizo linachanganyikana na kamusi na seti. {} tupu imechanganuliwa kama dict, si seti, ambayo huongeza utata wa kisintaksia juu ya utata wa kiwango cha aina. Na vyombo vilivyowekwa kiota - fikiria defaultdict(list) au matokeo = {k: [] kwa k katika vitufe} - sukuma injini za makisio hadi kikomo chake. Kila kikagua aina kimetengeneza kanuni zake za urithi, na tofauti ni muhimu zaidi kuliko wasanidi wengi wanavyotambua.

Katika mifumo ya uzalishaji inachakata mzigo halisi wa kazi - iwe ni mfumo wa CRM unaoshughulikia rekodi za wateja, sehemu ya ankara inayozalisha vipengee vya laini, au vipimo vya ujumlishaji wa bomba la uchanganuzi - vyombo tupu huonekana kila mara kama mifumo ya uanzishaji. Kupata aina zao vibaya haitoi maonyo ya linter tu; inaweza kuficha hitilafu halisi zinazoingia hadi wakati wa utekelezaji.

Mypy: Uelekezaji Ulioahirishwa na Yoyote Inayobainishwa

Mypy, kiangazi cha zamani zaidi na kinachokubalika zaidi cha aina ya Python, huchukua mkabala wa upole kwa vyombo tupu. Inapokutana na x = [] katika upeo wa utendakazi, inajaribu kuahirisha uamuzi wa aina na kukisia aina ya kipengele kutoka kwa matumizi ya baadaye. Ukiandika x = [] ikifuatiwa na x.append(42), mypy itakisia orodha[int]. Mkakati huu wa "jiunge" hufanya kazi kwa kustaajabisha kwa matukio ya moja kwa moja ambapo kontena limejaa ndani ya mawanda sawa.

Hata hivyo, tabia ya mypy inabadilika sana kulingana na muktadha na mipangilio madhubuti. Katika wigo wa moduli (msimbo wa kiwango cha juu), au chombo kinapopitishwa kwa chaguo zingine za kukokotoa kabla ya kujazwa, mypy mara nyingi hurejea kwenye orodha[Yoyote]. Chini ya alama ya --strict, hii husababisha hitilafu, lakini katika hali chaguo-msingi hupita kimyakimya. Hii ina maana kwamba timu zinazoendesha mypy bila hali kali zinaweza kukusanya vyombo vingi vilivyoandikwa kwa njia isiyo wazi ambavyo hufanya kama visu kutoka kwa mfumo wa aina, na hivyo kuharibu madhumuni yake.

Tabia moja ya hila: matoleo ya mypy kabla ya 0.990 wakati mwingine yanaweza kuashiria orodha [Haijulikani] ndani na kisha kupanuka hadi kuorodhesha[Yoyote] kwenye kazi. Baada ya 0.990, makisio hayo yaliimarishwa, lakini mabadiliko hayo yalivunja idadi ya kushangaza ya misingi ya kanuni za ulimwengu halisi ambazo zimekuwa zikitegemea tabia ya kuruhusu bila kutambua. Haya ni mandhari yanayojirudia - mabadiliko katika makisio ya chombo kisicho na kitu ni miongoni mwa masasisho ya kiaina yenye usumbufu zaidi kwa sababu ruwaza ziko kila mahali.

Sawa: Uelekezaji Mkali na Aina ya "Isiyojulikana"

Pyright, iliyotengenezwa na Microsoft na Pylance inayowezesha katika VS Code, inachukua msimamo tofauti wa kifalsafa. Badala ya kurudi kimya kwa Yoyote, hakimiliki hutofautisha kati ya Haijulikani (aina ambayo bado haijabainishwa) na Yoyote (chaguo la wazi la kutoka kwa ukaguzi wa aina). Unapoandika x = [] katika hali kali ya pyright, inaleta orodha [Haijulikani] na kuripoti uchunguzi, na kukulazimisha kutoa ufafanuzi.

Pyright pia ina ukali zaidi kuhusu kupunguza ndani ya upeo. Ukiandika:

• x = [] ikifuatiwa na x.append("hello") — makisio ya hakimiliki orodha[str]
• x = [] ikifuatiwa na x.ongeza(1) kisha x.append("hello") — hakimiliki orodha[int | str]
• x = [] imepitishwa moja kwa moja kwa chaguo za kukokotoa zinazotarajia orodha[int] — makisio ya hakimiliki orodha[int] kutoka kwa muktadha wa tovuti ya simu
• x = [] imerejeshwa kutoka kwa chaguo za kukokotoa bila kidokezo cha aina ya kurejesha — hakimiliki huripoti hitilafu badala ya kubahatisha

Maelekezo haya mawili (kwa kutumia matumizi yanayofuata na aina zinazotarajiwa kutoka kwa tovuti za simu) hufanya pyright kuwa sahihi zaidi kuliko mypy kwa vyombo tupu. Tradeoff ni verbosity: hali kali ya pyright huripoti takriban 30-40% masuala zaidi kwenye codebase ya kawaida isiyo na maelezo ikilinganishwa na hali kali ya mypy, kulingana na uchambuzi kutoka kwa ripoti kadhaa za uhamiaji wa chanzo huria. Kwa timu zinazounda mifumo changamano ya mazingira nyuma - tuseme, jukwaa linalodhibiti moduli 207 zilizounganishwa zinazotumia CRM, malipo na uchanganuzi - ukali wa hakimiliki hupata hitilafu za kiolesura ambazo makisio mepesi yanaweza kukosa.

Pytype na Pyre: Barabara Zisizosafirishwa Zaidi

Pytype ya Google inachukua labda mbinu ya kisayansi zaidi. Badala ya kuhitaji vidokezo au kurudi kwa Yoyote, pytype hutumia uchanganuzi wa programu nzima kufuatilia jinsi chombo kinavyotumika katika mipaka ya utendaji. Ukiunda orodha tupu katika chaguo la kukokotoa moja na kuipitisha kwa nyingine inayoambatisha nambari kamili, pytype mara nyingi inaweza kukisia list[int] bila ufafanuzi wowote. Maoni haya ya utendaji tofauti ni ghali kikokotoa — pytype ni polepole sana kuliko mypy au pyright kwenye misingi mikubwa ya msimbo - lakini hutoa chanya chache za uwongo kwenye msimbo ambao haujabainishwa.

Pytype pia inatanguliza dhana ya "aina zisizo kamili" kwa vyombo tupu. [] iliyoundwa upya hupata aina ya sehemu ambayo huboreshwa polepole kadiri kikagua navyokumbana na matumizi zaidi. Hii ni ya kifahari kimawazo lakini inaweza kutoa ujumbe wa makosa ya kutatanisha wakati aina ya sehemu haiwezi kutatuliwa kikamilifu, kama vile wakati chombo kisicho na kitu kinapopitia vitendaji kadhaa bila kujazwa.

Meta's pyre, wakati huo huo, inakaribia tabia ya mypy lakini kwa chaguo-msingi kali zaidi. Pyre huchukua x = [] kama orodha [haijulikani] na inahitaji ufafanuzi katika miktadha mingi. Ambapo pyre hujitofautisha ni katika kushughulikia kwake taarifa tupu za kamusi zinazotumiwa kama kwargs - muundo wa kawaida katika mifumo ya wavuti. Pyre ana mantiki ya kesi maalum ya kukisia aina za kamusi kutoka kwa miktadha ya hoja ya maneno, kupunguza mzigo wa maelezo katika misingi-nzito ya kanuni. Ikizingatiwa kuwa programu nyingi za kisasa za wavuti zinahusisha matumizi makubwa ya uondoaji wa kamusi kwa usanidi na kushughulikia ombi, utendakazi huu hulipa faida.

Athari ya Ulimwengu Halisi: Wakati Tofauti ya Maelewano Inapouma

Tofauti kati ya vikagua aina vinaweza kuonekana kuwa vya kielimu hadi uzipate katika msingi wa msimbo wa uzalishaji. Fikiria muundo wa kawaida katika programu za biashara: kuanzisha muundo wa data ambao hujazwa kwa masharti.

Vyombo hatari zaidi visivyo na kitu si vile bendera ya vikagua - ndivyo hupita kimyakimya na aina ya yoyote iliyodokezwa, ikiruhusu data isiyooana kukusanyika bila onyo hadi kipengele cha kukokotoa cha chini cha mkondo kinaanguka wakati wa utekelezaji kwa TypeError ambayo karibu haiwezekani kufuatilia kurudi kwenye asili yake.

Mfano halisi: timu iliyoanzisha fintech iliripoti kutumia siku tatu kutatua tatizo la uzalishaji ambapo orodha tupu, iliyoanzishwa katika uchakataji wa malipo, ilibainishwa kama orodha[Any] na mypy. Orodha ilipaswa kuwa na vitu Desimali kwa viwango vya sarafu, lakini njia ya msimbo ilikuwa inaambatisha thamani za kuelea badala yake. Maoni ya upole ya Mypy yaliruhusu kimya kimya. Hitilafu ilijitokeza tu wakati makosa ya kuzungusha katika hesabu ya kuelea yalisababisha tofauti ya $0.01 kwenye kundi la ankara 12,000. Ikiwa wangetumia pyright katika hali kali, au kufafanua orodha tupu kama orodha[Desimali], hitilafu ingenaswa wakati wa utayarishaji.

Huko Mewayz, ambapo jukwaa huchakata ankara, hesabu za malipo na takwimu za fedha katika akaunti 138,000+ za watumiaji, aina hii ya pengo la usalama wa aina hii si ya kinadharia - ni tofauti kati ya uendeshaji sahihi wa malipo na ukokotoaji wa gharama kubwa. Nidhamu kali ya uandishi kuhusu uanzishaji wa kontena ni mojawapo ya mbinu "za kuchosha" za uhandisi ambazo huzuia matukio ya kusisimua ya uzalishaji.

Mbinu Bora za Uanzishaji wa Chombo cha Kulinda

Bila kujali ni aina gani ya kusahihisha ambayo timu yako inatumia, kuna mikakati madhubuti ya kuondoa utata tupu wa chombo kabisa. Lengo ni kutotegemea kamwe makisio ya kontena tupu - fanya aina iwe wazi ili msimbo wako uweze kubebeka kwenye vikagua vyote na usiathiriwe na mabadiliko ya tabia kati ya matoleo.

1. Daima fafanua viambajengo vya vyombo visivyo na kitu. Andika matokeo: list[int] = [] badala ya matokeo = []. Gharama ndogo ya verbosity ni kidogo ikilinganishwa na muda wa utatuzi uliohifadhiwa. Zoezi hili moja huondoa takriban 80% ya masuala ya makisio ya kontena tupu.
2. Tumia vitendaji vya kiwandani kwa vyombo changamano. Badala ya cache = {}, andika chaguo za kukokotoa kama def make_cache() -> dict[str, list[UserRecord]]: rudisha {}. Ufafanuzi wa aina ya kurejesha hufanya aina inayokusudiwa kuwa isiyo na utata na kujiandikisha.
3. Pendelea wajenzi waliochapwa badala ya herufi kwa aina zisizo ndogo. Andika vipengee: set[int] = set() badala ya kutegemea makisio ya ufahamu yaliyowekwa. Kwa defaultdict na Counter, daima toa aina ya kigezo: hesabu: Counter[str] = Counter().
4. Sanidi hali kali ya kikagua aina yako kwa msimbo mpya. Usaidizi wa mypy na hakimiliki kwa kila faili au usanidi wa saraka. Washa ukaguzi mkali kwenye moduli mpya huku ukihamisha msimbo wa urithi hatua kwa hatua. Hii inazuia mkusanyiko wa vyombo vipya vilivyoandikwa kwa njia isiyo dhahiri.
5. Ongeza ulinganisho wa kiaina kwa bomba lako la CI. Kuendesha mypy na pyright kwenye codebase yako kunapata utofauti mapema. Ikiwa mchoro utapita kikagua kimoja lakini kushindwa kingine, ni ishara kwamba aina hiyo haiko wazi vya kutosha.

Picha Kubwa: Kuangalia Aina kama Mazoezi ya Timu

Maelekezo ya chombo tupu hatimaye ni kiini kidogo cha changamoto kubwa katika mfumo wa aina ya Python: mvutano kati ya urahisi na usalama. Falsafa ya Python ya "sote ni watu wazima wanaokubali" hufanya kazi kwa uzuri kwa prototyping na hati, lakini mifumo ya uzalishaji inayohudumia maelfu ya watumiaji inahitaji uhakikisho thabiti zaidi. Ukweli kwamba vikagua aina nne kuu hazikubaliani juu ya kitu cha msingi kama aina ya [] inasisitiza kuwa mfumo ikolojia wa chatu bado unakomaa.

Kwa timu za wahandisi zinazounda majukwaa changamano - iwe unadhibiti huduma ndogo ndogo au mfumo jumuishi wenye mamia ya moduli zilizounganishwa kama Mewayz's business OS - ushauri wa vitendo ni wa moja kwa moja: usitegemee makisio ya vyombo tupu, chagua kiangazio cha aina na ukisanidi kikamilifu, na uchukue maelezo ya aina kama hati ambayo inaweza kuthibitishwa na mashine. Dakika tano zilizotumika kuandika orodha[Invoice] badala ya [] zitakuokoa saa za utatuzi wakati codebase yako inapimwa.

Kadri PEP 696 (vigezo vya aina chaguomsingi) na PEP 695 (aina ya sintaksia ya kigezo) zikiendelea kutua katika matoleo mapya zaidi ya Chatu, hali ya akili ya kuandika kwa njia dhahiri itaendelea kuboreshwa. Pengo kati ya Python "iliyofafanuliwa" na "isiyo na maelezo" itapungua. Lakini hadi siku hiyo, aina za kontena zenye lugha chafu zinasalia kuwa mojawapo ya mbinu za juu zaidi za ROI katika zana ya zana ya wasanidi wa Python - taaluma ndogo ambayo hulipa riba ya jumla katika kila moduli, kila mbio za mbio na kila utoaji wa uzalishaji.