Walmadaalchisuu Sakatta'aa Gosa Paayitoonii: Yaada Qabduu Duwwaa

Maaliif Qabduu Duwwaan Sakatta'oota Gosa Paayitoonii Cabsan — Fi Waa'ee Isaa Maal Gochuu Dandeessu

Sirni barreessuu suuta suutaan Paayitoon erga PEP 484 bara 2015tti akeekkachiisa gosa jalqabee kaasee baay'ee bilchaateera.Har'a, hojjettoonni miliyoonaan lakkaa'aman osoo oomisha hin rukutin dura dogongora qabachuuf sakatta'iinsa gosa istaatiksii irratti hirkatu. Garuu golee haxxummaan, kan nama mufachiisu sirna gosaa ammallee injinaroota muuxannoo qaban illee gufachiisu jira: meeshaan duwwaan gosa akkamii qaba? Yeroo x = [] yaadannoo malee barreessitu, sakatta'aan akaakuu kee tilmaamu qaba — sakatta'aan adda addaa immoo tilmaama adda addaa. Garaagarummaan kun gareewwan kuusdeetaa koodii gurguddoo kunuunsaniif rakkoo dhugaa uuma, bakka sakatta'toota gosa jijjiiruun ykn walitti makuun dogoggora hin eegamne dhibbaan lakkaa'aman halkan tokkotti mul'isuu danda'u.

Barreeffamni kun akkaataa sakatta'oonni gosa Paayitoon gurguddoon afran — mypy, pyright, pytype, fi pyre — yaada qabduu duwwaa itti qaban, maaliif akka walii hin galle, fi filannoo meeshaa kee osoo hin ilaalin Paayitoon gosa-nageenya qabu barreessuudhaaf tooftaalee qabatamaa akkamii fudhachuu akka dandeessu caccabsa.

Rakkoo Ijoo: Qabduu Duwwaa Uumamaan Wal-xaxaa dha

Sarara miidhaa hin qabne Paayitoon kana ilaali: results = []. bu'aan tarree[int]dhaa? tarree[str]? tarree[dict[str, Kamuu]]? Yaada dabalataa malee, dhugaadhaan karaan itti beektu hin jiru. Yeroon gaggeeffama Paayitanii dhimma hin qabu — tarreewwan uumamaan garaagarummaa qabu — garuu sakatta'toonni gosa istaatiksii hojii isaanii hojjechuuf jijjiiramaa hundaaf gosa qabatamaa ramaduu qabu. Kunis waldhabdee bu'uuraa kan uumu yoo ta'u, jijjiirama daayinamikii Paayitanii fi wabiiwwan xiinxalli istaatiksii kennuuf yaalu.

Rakkoon galmee jechootaa fi tuuta waliin wal-xaxaa ta'a. {} duwwaan dhugumatti akka dicttti kan qoqqoodamu malee akka settti miti, kunis walxaxiinsa sadarkaa gosaa gubbaatti walxaxiinsa galumsaa dabalata. Akkasumas qabduuwwan man'ee qaban — defaultdict(list) ykn results = {k: [] furtuuwwan keessatti k'f} yaadi — motoroota yaada xumuraa gara daangaa isaaniitti dhiibu. Tokkoon tokkoon gosa sakatta'aa heuristics mataa isaa kan qopheesse yoo ta'u, garaagarummaan isaas kan irra caalaan developers hubatan caalaa guddaadha.

Sirnoota oomishaa fe'iinsa hojii dhugaa adeemsisan keessatti — CRM galmee maamilaa qabatu, moojuuliin invooyisii wantoota sararaa maddisiisu, ykn sarara ujummoo xiinxala safartuuwwan walitti qabu haa ta'u — qabduuwwan duwwaan yeroo hunda akka shaakala jalqabsiisuutti mul'atu. Gosa isaanii dogoggoraan argachuun akeekkachiisa linter qofa hin fidu; dogongora dhugaa kanneen gara yeroo gaggeeffamaatti siqan haguuggachuu danda'a.

Mypy: Yaada Tursiifame Kamiyyuu Icciitii Waliin

Mypy, sakatta'aan gosa Paayitoon isa durii fi bal'inaan fudhatame, qabduu duwwaa irratti mala salphaa fudhata. Yeroo x = [] bal'ina faankishinii irratti qunnamu, murtee akaakuu yeroo biraatti dabarsuu fi gosa elementii fayyadama itti aanu irraa hubachuuf yaala. Yoo x = [] itti aansee x.append(42) barreessite, mypy tarree[int] ni yaada. Tooftaa "walitti makamuu" kun haalawwan qajeeloo bakka qabduun daangaa walfakkaataa keessatti guutameef haala ajaa'ibaa ta'een hojjeta.

Haa ta'u malee, amala mypy haala haalaa fi qindaa'ina cimina irratti hundaa'uun baay'ee jijjiirama. Daangaa moojuulii irratti (koodii sadarkaa olaanaa), ykn yeroo qabduun osoo hin guutin gara faankishinii biraatti darbu, mypy yeroo baayyee gara tarree[Any]tti deebi'a. Alaabaa --strict jalatti, kun dogongora kakaasa, garuu haalata durtii keessatti callisee darba. Kana jechuun gareewwan mypy haalata cimaa malee hojjetan qabduuwwan kudhan kudhan kudhan kudhan kan akka haachi miliquu sirna akaakuu irraa hojjetan kuusuu danda'u, kaayyoo isaa injifatu.

Amala addatti dhokataa tokko: gosootni mypy 0.990 dura yeroo tokko tokko tarree[Hin beekamne] keessoodhaan infer gochuu fi sana booda ramaddii irratti gara tarree[Any]tti bal'isu turan. Booda-0.990, yaadni xumuraa cimee ture, garuu jijjiiramni kun lakkoofsa ajaa'ibsiisaa koodii addunyaa dhugaa kanneen osoo hin hubatin amala hayyamaa irratti hirkataa turan cabseera. Kun mata duree irra deddeebi'amee mul'atudha — jijjiiramni gara yaada qabduu duwwaatti fooyya'iinsa sakatta'iinsa gosa baay'ee jeequmsa uumuu keessaa tokkodha sababiin isaas shaakala baay'ee bakka hundatti argama.

Pyright: Yaada Cimaa fi Gosa "Hin Beekamne"

Pyright, Microsoftiin kan hojjetamee fi VS Code keessatti Pylance humna kan kennu, ejjennoo falaasama bu'uuraan adda ta'e qaba. Callisee gara Anytti deebi'uu mannaa, pyright Hin beekamne (gosa hanga ammaatti hin murtoofne) fi Any (sakatta'iinsa gosaa keessaa ba'uu ifatti) gidduutti adda baasa. Yeroo x = [] haalata cimaa pyright keessatti barreessitu, tarree[Hin beekamne] yaada fi adda baasuu gabaasa, yaadannoo akka kennitu si dirqisiisa.

Pyright waa'ee daangaa keessatti dhiphachuu irrattis caalaatti aggaammii qaba. Yoo barreessite:

jechuun ni danda’ama
• x = [] itti aansee x.append("hello") — pyright tarree[str]
yaada
• x = [] itti aansee x.append(1) sana booda x.append("hello") — pyright tarree[int | str]
jechuun ni danda’ama
• x = [] kallattiin gara faankishinii tarree[int] eegutti darbe — pyright tarree[int] haala waamicha-saayitii
irraa yaada
• x = [] faankishinii irraa deebi'e yaadannoo akaakuu deebi'uu malee — pyright tilmaama
osoo hin taane dogongora gabaasa

Inference kallattii lamaa kun (itti fayyadama itti aanu fi gosoota eegamu lamaan fayyadamuun) pyright qabduu duwwaadhaaf mypy caalaa sirrii akka ta'u taasisa. Daldalli dubbii baay'eedha: haalli cimaan pyright tilmaamaan 30-40% dhimmoota baay'ee kuusdeetaa koodii idilee kan hin ibsamne irratti haalata cimaa mypy wajjin wal bira qabamee yoo ilaalamu, akka xiinxala gabaasa godaansa madda banaa hedduu irraa argameetti. Gareewwan sirna duubaa walxaxaa ijaaraniif — jedhaa, waltajjii moojuulota walitti hidhaman 207 kan CRM, kaffaltii, fi xiinxala hammate bulchu — ciminni pyright walsimsiisuun wal hin simne interfeesii xixiqqoo kan inference lallaafaan darbu qaba.

Pytype fi Pyre: Daandiiwwan Imala Xiqqoo

Paayitaayippiin Google tarii mala hunda caalaa hojiirra ooluu danda'u fudhata. Yaadannoowwan barbaaduu ykn gara Anytti deebi'uu mannaa, pytype akkaataa qabduun daangaa faankishinii qaxxaamuree itti fayyadamu hordofuuf xiinxala sagantaa guutuu fayyadama. Yoo tarree duwwaa faankishinii tokko keessatti uumtee fi gara kan biraa kan lakkoofsota guutuu dabaluutti dabarsite, pytype yeroo baay'ee tarree[int] tasuma yaadannoo tokko malee infer gochuu danda'a. Inferensiin dalagaa qaxxaamuraa kun shallaggii irratti qaala'aa dha — pytype mypy ykn pyright caalaa codebases gurguddoo irratti baay'ee suuta jedha — garuu koodii hin ibsamne irratti pozaatiivii sobaa xiqqaa oomisha.

Pytype akkasumas yaad-rimee "gosoota gartokkee" qabduu duwwaadhaaf ni seensisa. [] haaraa uumame gosa gartokkee kan akkuma sakatta'aan fayyadama dabalataa qunnamu tartiibaan qulqullaa'u argata. Kun yaad-rimeedhaan bareedaadha garuu yeroo gosti gartokkee guutummaatti furmaata argachuu hin dandeenyetti ergaawwan dogongoraa burjaaja'aa uumuu danda'a, kan akka yeroo qabduu duwwaan osoo gonkumaa hin guutamiin dalagaalee hedduu keessa yaa'u.

Meta's pyre, gama biraatiin, amala mypy'tti dhihoo ta'ee garuu durtii cimaa ta'een hews godha. Pyre x = [] akka tarree[unknown]tti ilaala fi haalawwan baay'ee keessatti yaadannoo barbaada. Bakki pyre adda of godhu qabachuu isaa keessatti jechoota galmee jechootaa duwwaa akka kwargstti fayyadaman — akkaataa beekamaa unkaalee weebii keessatti. Pyre loojikii haala addaa qaba, gosoota galmee jechootaa haalawwan falmii jechoota furtuu irraa hubachuuf, ba'aa yaadannoo kuusdeetaa koodii furtuu-ulfaataa keessatti hir'isa. Irra caalaan aplikeeshiniiwwan weebii ammayyaa qindeessaa fi gaaffii qabachuuf jecha galmee jechootaa hiikuu baay'ee kan of keessaa qaban ta'uu isaanii yoo ilaalle, hojiirra ooluu danda'uun kun bu'aa kaffala.

Dhiibbaa Addunyaa Dhugaa: Yeroo Inference Divergence Cinitu

Garaagarummaan sakatta'toota gosa gidduu jiru hanga kuusdeetaa koodii oomishaa keessatti mudattutti kan barnootaa fakkaachuu danda'a. Mee akkaataa waliigalaa aplikeeshiniiwwan daldalaa keessatti ilaali: caasaa deetaa kan haal-dureedhaan guutamu jalqabsiisuu.