Ku pimanisiwa ka Mukamberi wa Muxaka wa Python: Xiringanyeto xa Xikhomela-ndhawu lexi nga riki na nchumu

Ha Yini Swikhomela-ndhawu Leswi Nga Riki Na Nchumu Swi Pfuxeta Swikambelo Swa Muxaka Swa Python — Na Leswi U Nga Swi Endlaka Hi Swona

Sisiteme ya ku thayipa ya Python hakatsongotsongo yi vupfile swinene ku sukela loko PEP 484 yi nghenise switsundzuxo swa muxaka hi 2015. Namuntlha, timiliyoni ta vaendli va titshege hi vahlahluvi va muxaka wa static ku khoma swihoxo va nga si ba vuhumelerisi. Kambe ku na khoneni leyi tumbeleke, leyi hetaka matimba ya fambiselo ra muxaka leyi ya ha khunguvanyisaka hambi ku ri vanjhiniyara lava nga ni ntokoto: xana xibya lexi nga riki na nchumu xi ni muxaka wihi? Loko u tsala x = [] handle ka nhlamuselo, muhlahluvi wa wena wa muxaka u fanele ku ringanyeta — naswona vahlahluvi vo hambana va ringanyeta hi ndlela yo hambana. Ku hambana loku ku tumbuluxa swiphiqo swa xiviri eka swipano leswi hlayisaka tikhodibezi letikulu, laha ku cinca kumbe ku hlanganisa vahlahluvi va muxaka swi nga humesaka madzana ya swihoxo leswi nga languteriwangiki hi vusiku byin’we.

Xihloko lexi xi hambanyisa hilaha vahlahluvi va mune lavakulu va muxaka wa Python — mypy, pyright, pytype, na pyre — va khomaka hakona ku ehleketa ka xikhomela lexi nga riki na nchumu, leswaku hikokwalaho ka yini va nga pfumelelani, na leswaku hi wahi tindlela leti tirhaka leti u nga ti amukelaka ku tsala Python leyi hlayisekeke hi muxaka ku nga langutiwi ku hlawula ka wena ka switirhisiwa.

Xiphiqo xa Nkoka: Swikhomela-ndhawu leswi nga riki na nchumu Hi ntumbuluko a swi nga twisiseki

Xiya layini leyi leyi nga riki na khombo ya Python: results = []. Xana mimbuyelo i nxaxamelo[int]? Xana i nxaxamelo[str]? Nxaxamelo wa [dict[str, Any]]? Handle ka mongo lowu engetelekeke, hakunene a ku na ndlela yo tiva. Nkarhi wo famba wa Python a wu na mhaka — minxaxamelo yi heterogeneous hi ntumbuluko — kambe vahlahluvi va muxaka wa static va lava ku avela muxaka wa xiviri eka xihlawulekisi xin’wana na xin’wana ku endla ntirho wa vona. Leswi swi tumbuluxa ku nonoka ka xisekelo exikarhi ka ku cinca-cinca ka Python loku cinca-cincaka na switiyisekiso leswi nxopaxopo wa xiyimo xa xiviri wu ringetaka ku swi nyika.

Xiphiqo xi hlangana na swihlamusela-marito na tisethi. {} leyi nga riki na nchumu entiyisweni yi hlamuseriwa tanihi dict, ku nga ri set, leyi engetelaka ku nga twisiseki ka xivumbeko xa marito ehenhla ka ku nga twisiseki ka xiyimo xa muxaka. Naswona swikhomela-ndhawu leswi pfanganisiweke — ehleketa defaultdict(list) kumbe results = {k: [] for k in keys} — susumeta tinjhini ta inference eka swipimelo swa tona. Mukamberi un’wana na un’wana wa muxaka u tumbuluxile ti heuristics ta yena, naswona ku hambana i ka nkoka swinene ku tlula leswi vaendli vo tala va swi lemukaka.

Eka tisisiteme ta vuhumelerisi leti tirhisaka ndzhwalo wa ntirho wa xiviri — hambi ku ri CRM leyi khomaka tirhekhodo ta vaxavi, modyuli ya invoice leyi tumbuluxaka swilo swa layini, kumbe phayiphi ya vuxopaxopi leyi hlengeletaka timetriki — swikhomela-ndhawu leswi nga riki na nchumu swi humelela nkarhi hinkwawo tanihi swivumbeko swo sungula. Ku kuma tinxaka ta tona hi ndlela yo biha a swi humesi switsundzuxo swa linter ntsena; yi nga fihla swihoxo swa xiviri leswi rhetaka ku ya eka nkarhi wo famba.

Mypy: Xiringanyeto lexi tlheriseriweke endzhaku lexi nga na Xin’wana na xin’wana lexi nga kongomangiki

Mypy, xikambelo xa muxaka wa Python xa khale swinene naswona xi amukeriwaka ngopfu, xi teka ndlela yo olova swinene eka swibye leswi nga riki na nchumu. Loko yi hlangana na x = [] eka xikalo xa ntirho, yi ringeta ku tlherisela endzhaku xiboho xa muxaka na ku ringanyeta muxaka wa xiaki ku suka eka matirhiselo lama landzelaka. Loko u tsala x = [] u landzeriwa hi x.append(42), mypy yi ta ehleketa hi list[int]. Qhinga leri ra "ku joyina" ri tirha kahle hi ndlela yo hlamarisa eka timhaka to kongoma laha xigwitsirisi xi tatiweke endzeni ka xikalo lexi fanaka.

Hambiswiritano, mahanyelo ya mypy ya cinca swinene kuya hi mongo na swiyimo swa strictness. Eka xikalo xa modyuli (khodi ya xiyimo xa le henhla), kumbe loko xikhomela xi hundziseriwa eka ntirho wun’wana xi nga si tatiwa, mypy yi tala ku wela endzhaku eka list[Any]. Ehansi ka mujeko wa --strict, leswi swi pfuxa xihoxo, kambe eka movha wa ntolovelo swi hundza hi ku miyela. Leswi swi vula leswaku swipano leswi fambisaka mypy handle ka movha wo tika swi nga hlengeleta makume ya swibye leswi thayipiweke hi ndlela yo ka yi nga kongomanga leswi tirhaka tanihi ti-escape hatches ku suka eka sisiteme ya muxaka, swi hlula xikongomelo xa yona.

Mahanyelo man’we yo tumbela ngopfu: tivhidiyo ta mypy ta le mahlweni ka 0.990 minkarhi yin’wana ti ta ehleketa hi list[Unknown] endzeni ivi ti ndlandlamuxa ku ya eka list[Any] eka xiavelo. Endzhaku ka 0.990, inference yi tiyisiwile, kambe ku cinca ku tshove nhlayo yo hlamarisa ya ti codebase ta misava ya xiviri leti a ti titshege hi mahanyelo yo pfumelela handle ko swi xiya. Leyi i nhlokomhaka leyi vuyeleriwaka — ku cinca eka xiringanyeto xa xikhomela-ndhawu lexi nga riki na nchumu i swin’wana swa ku pfuxetiwa ka muxaka lowu kavanyetaka swinene hikuva swivumbeko swi kumeka hinkwako.

Pyright: Xibumabumelo xo Tika na Muxaka wa "U nga tiviwi"

Pyright, leyi tumbuluxiweke hi Microsoft naswona yi nyika matimba eka Pylance eka VS Code, yi teka xiyimo xa filosofi lexi hambaneke hi xisekelo. Ematshan’wini yo tlhelela endzhaku hi ku miyela eka Any, pyright yi hambanisa exikarhi ka Unknown (muxaka lowu nga si kumiwaka) na Any (ku tihlawulela loku nga erivaleni ka ku kambela muxaka). Loko u tsala x = [] eka movha wo tika wa pyright, yi ehleketa hi list[Unknown] naswona yi vika vukamberi, yi ku sindzisa ku nyika nhlamuselo.

Pyright u tlhela a va na vukarhi swinene mayelana na ku hunguta endzeni ka xikalo. Loko u tsala:

• x = [] ku landzela x.append("hello") — pyright yi ringanyeta nxaxamelo[str]
• x = [] yi landzeriwa hi x.append(1) kutani x.append("hello") — pyright yi ringanyeta nxaxamelo[int | str]
• x = [] yi hundziseriwe hi ku kongoma eka ntirho lowu languteleke nxaxamelo[int] — pyright yi ringanyeta nxaxamelo[int] ku suka eka xiyimo xa sayiti ya ku vitana
• x = [] yi vuyile ku suka eka ntirho handle ka nhlamuselo ya muxaka wo vuyela — pyright yi vika xihoxo ku tlula ku ringanyeta

Nhlamuselo leyi ya matlhelo mambirhi (hi ku tirhisa matirhiselo lama landzelaka na tinxaka leti languteriweke ku suka eka tisayiti ta riqingho) yi endla leswaku pyright yi kongoma ngopfu ku tlula mypy eka swibye leswi nga riki na nchumu. Nxaviselano i verbosity: movha wo tika wa pyright wu fungha kwalomu ka 30-40% wa timhaka to tala eka codebase leyi tolovelekeke leyi nga riki na tinhlamuselo loko yi pimanisiwa na movha wo tika wa mypy, hi ku ya hi nxopaxopo ku suka eka swiviko swo hlayanyana swa ku rhurha ka xihlovo lexi pfulekeke. Eka swipano leswi akaka tisisiteme ta le ndzhaku leti rharhanganeke — hi ku vula, pulatifomo leyi lawulaka mimojula ya 207 leyi hlanganisiweke leyi hlanganisaka CRM, muholo, na vuxopaxopi — ku tika ka pyright ku khoma ku nga fambelani ka vuhlanganisi loku nga vonakiki loku ku ehleketa loku olovaka ku nga ku pfumala.

Pytype na Pyre: Magondzo lama nga Fambiwiki ngopfu

Pytype ya Google yi teka kumbexana ndlela ya pragmatic swinene. Ematshan’wini yo lava tinhlamuselo kumbe ku tlhelela endzhaku eka Any, pytype yi tirhisa nxopaxopo wa phurogireme hinkwayo ku landzelela ndlela leyi xikhomela xi tirhisiwaka ha yona ku tsemakanya mindzilakano ya ntirho. Loko u endla nxaxamelo lowu nga riki na nchumu eka ntirho wun’we ivi u wu hundzisela eka wun’wana lowu engetelaka tinomboro leti heleleke, pytype yi tala ku ehleketa hi list[int] handle ka tinhlamuselo nikatsongo. Inference leyi ya cross-function yi durha hi tlhelo ra xibalo — pytype yi nonoka swinene ku tlula mypy kumbe pyright eka ti codebases letikulu — kambe yi humesa ti false positives ti nga ri tingani eka khodi leyi nga tsariwangiki tinhlamuselo.

Pytype yi tlhela yi nghenisa mianakanyo ya "tinxaka ta xiphemu" eka swibye leswi nga riki na nchumu. [] leyi ha ku endliwaka yi kuma muxaka wa xiphemu lowu antswisiwaka hakatsongo-tsongo loko muhlahluvi a hlangana na matirhiselo yo tala. Leswi swi sasekile hi tlhelo ra miehleketo kambe swi nga humesa marungula ya swihoxo lama pfilunganyaka loko muxaka wa xiphemu wu nga tlhantlhiwi hi ku helela, ku fana na loko xigwitsirisi lexi nga riki na nchumu xi khuluka hi mintirho yo hlayanyana handle ko tshama xi tatiwa.

Meta's pyre, hi hala tlhelo, yi hews ekusuhi na mahanyelo ya mypy kambe hi ti tighter defaults. Pyre yi khoma x = [] tanihi list[unknown] naswona yi lava tinhlamuselo eka swiyimo swo tala. Laha pyre yi tihambanisaka kona i ku khoma ka yona tilitara ta xihlamusela-marito leti nga riki na nchumu leti tirhisiwaka tanihi kwargs — xivumbeko lexi tolovelekeke eka swivumbeko swa webu. Pyre yi na loji ya xiyimo xo hlawuleka ku ringanyeta tinxaka ta xihlamusela-marito ku suka eka swiyimo swa njhekanjhekisano wa marito ya nkoka, ku hunguta ndzhwalo wa tinhlamuselo eka tikhodibezi leti nga na rimba ro tika. Hi ku tekela enhlokweni leswaku matirhiselo yo tala ya webu ya manguva lawa ya katsa ku tirhisiwa lokukulu ka ku pfula xihlamusela-marito eka ku lulamisa na ku khoma swikombelo, pragmatism leyi yi hakela ti dividends.

Nkucetelo wa Misava ya Xiviri: Loko Ku Hambana ka Inference Ku Luma

Ku hambana exikarhi ka vahlahluvi va muxaka swi nga ha vonaka swi ri swa dyondzo ku kondza u swi kuma eka khodi ya vuhumelerisi. Languta xivumbeko lexi tolovelekeke eka switirhisiwa swa bindzu: ku sungula xivumbeko xa datha lexi nga ta tatiwa hi swiyimo.