Okugerageranya Omukebere w'Ekika kya Python: Okuteebereza kwa Konteyina Ekyerere

Lwaki Ebintu Ebitaliimu Bimenya Ebikebera Ebika bya Python — Ne By’osobola Okubikolako

Enkola ya Python ey'okuwandiika mpolampola ekula nnyo okuva PEP 484 lwe yaleeta obubonero bw'ekika mu 2015. Leero, obukadde n'obukadde bw'abakola beesigamye ku bakebera ekika ekitali kikyukakyuka okukwata obuzibu nga tebannakuba kukola. Naye waliwo enkoona entegeke, enyiiza ey’enkola y’ekika eky’okugwa waggulu ne bayinginiya abalina obumanyirivu: kika ki ekibya ekyerere kirina? Bw’owandiika x = [] nga tolina bugambo bunnyonnyola, omukebera ekika kyo alina okuteebereza — era abakebera ab’enjawulo bateebereza mu ngeri ya njawulo. Okwawukana kuno kuleeta obuzibu obw’amazima eri ttiimu ezikuuma codebases ennene, nga okukyusa oba okugatta ebikebera ekika kiyinza okuvaayo ebikumi n’ebikumi by’ensobi ezitasuubirwa mu kiro kimu.

Ekiwandiiko kino kimenya engeri abakebera ekika kya Python abana abakulu — mypy, pyright, pytype, ne pyre — gye bakwatamu okuteebereza kw’ekintu ekyerere, lwaki tebakkiriziganya, n’obukodyo ki obw’omugaso bw’oyinza okwettanira okuwandiika Python etali ya bulabe eri ekika awatali kulowooza ku ky’olonze eky’ebikozesebwa.

Ekizibu Ekikulu: Ebidomola Ekyerere Mu Buzaale Tebirina Buzibu

Lowooza ku layini eno etaliiko bulabe eya Python: results = []. ebivuddemu lukalala[int]? Olukalala lwa [str]? Olukalala lwa [dict[str, Any]]? Awatali nsonga eyongezeddwayo, mu butuufu tewali ngeri yonna gye tuyinza kumanya. Ekiseera ky’okudduka ekya Python tekifaayo — enkalala za njawulo mu butonde — naye abakebera ekika ekitali kikyukakyuka beetaaga okugaba ekika ekikakafu ku buli nkyukakyuka okukola omulimu gwabwe. Kino kireeta okusika omuguwa okw’omusingi wakati w’okukyukakyuka kwa Python okw’amaanyi n’obukakafu okwekenneenya okutambula obutakyuka kwe kugezaako okuwa.

Ekizibu kyegatta ne nkuluze ne seti. {} etaliimu mu butuufu esengekebwa nga dict, so si set, eyongera obutategeeragana mu nsengeka waggulu w’obutategeeragana obw’omutendera gw’ekika. Era ebitereke ebiteekeddwa mu biyumba — lowooza defaultdict(list) oba ebivuddemu = {k: [] ku k mu bisumuluzo} — bisika yingini z’okuteebereza okutuuka ku kkomo lyazo. Buli mukebera ekika akoze heuristics ye, era enjawulo zino za maanyi nnyo okusinga abakola abasinga bwe bakitegeera.

Mu nkola z’okufulumya ezikola ku mirimu egy’amazima — ka kibeere CRM ekwata ebiwandiiko bya bakasitoma, modulo ya invoice ekola ebintu bya layini, oba payipu y’okwekenneenya egatta ebipimo — konteyina ekyerere zirabika buli kiseera ng’enkola z’okutandika. Okufuna ebika byabwe mu bukyamu tekikoma ku kuleeta kulabula kwa linter; kiyinza okukweka ebiwuka ebya nnamaddala ebiseeyeeya okuyita mu kiseera ky'okudduka.

Mypy: Okuteebereza okuddirira nga kuliko ekintu kyonna ekitegeerekeka

Mypy, eky'okukebera ekika kya Python ekisinga obukadde era ekisinga okukozesebwa, kikwata enkola etali ya maanyi nnyo ku bibya ebitalimu kintu kyonna. Bwe kisisinkana x = [] ku buwanvu bw'omulimu, kigezaako okuyimirizaawo okusalawo kw'ekika n'okuteebereza ekika ky'ekintu okuva mu nkozesa eddako. Singa owandiika x = [] n'ogobererwa x.append(42), mypy ejja kuteebereza list[int]. Enkola eno eya "kugatta" ekola bulungi mu ngeri eyeewuunyisa ku mbeera ezitereevu nga ekibya kijjudde mu kifo kye kimu.

Wabula, enneeyisa ya mypy ekyuka nnyo okusinziira ku mbeera n'ensengeka z'obukakafu. Ku module scope (top-level code), oba nga container eyisibwa ku function endala nga tennajjula, mypy etera okugwa ku list[Any]. Wansi wa --strict bendera, kino kireeta ensobi, naye mu mbeera esookerwako kiyita mu kasirise. Kino kitegeeza nti ttiimu eziddukanya mypy awatali mode nkakafu zisobola okukung’aanya amakumi g’ebintu ebiwandiikiddwa mu ngeri etegeerekeka ebikola ng’ebisenge ebidduka okuva mu nkola y’ekika, ne bimegga ekigendererwa kyayo.

Enneeyisa emu naddala etali ya bulijjo: enkyusa za mypy nga 0.990 tezinnabaawo oluusi zandifudde list[Unknown] munda n'oluvannyuma ne zigaziwa okutuuka ku list[Any] ku kugaba. Oluvannyuma lwa 0.990, okuteebereza kwanywezebwa, naye enkyukakyuka yamenya omuwendo ogwewuunyisa ogwa codebases ez’ensi entuufu ezaali zeesigamye ku nneeyisa ekkiriza nga tezitegedde. Guno mulamwa oguddirira — enkyukakyuka mu inference ya container empty bye bimu ku bisinga okutaataaganya type checker updates kubanga patterns ziri buli wamu nnyo.

Pyright: Okuteebereza okukakali n'Ekika "Ekitamanyiddwa"

Pyright, eyakolebwa Microsoft era ng’ewa Pylance amaanyi mu VS Code, ekwata enkola ey’obufirosoofo ey’enjawulo mu musingi. Mu kifo ky’okugwa mu kasirise okudda ku Any, pyright eyawula wakati wa Ekitamanyiddwa (ekika ekitannaba kutegeerekeka) ne Any (okukebera ekika eky’olwatu). Bw'owandiika x = [] mu mbeera ya pyright enkakali, etegeeza list[Unknown] era n'etegeeza ku kuzuula, ekikuwaliriza okuwa obugambo.

Pyright era asinga kukola busungu ku okufunza mu buwanvu. Bw’oba owandiika:

• x = [] nga egobererwa x.append("hello") — pyright etegeeza olukalala[str]
• x = [] nga egobererwa x.append(1) olwo x.append("hello") — pyright etegeeza olukalala[int | str]
nga bwe kiri
• x = [] eyisibwa butereevu ku mulimu ogusuubira list[int] — pyright etegeeza list[int] okuva mu mbeera y'ekifo ky'okuyita
• x = [] ekomezeddwawo okuva mu kikolwa awatali kunnyonnyola kika kya kudda — pyright etegeeza ensobi okusinga okuteebereza

Okuteebereza kuno okw'enjuyi bbiri (nga tukozesa byombi enkozesa eddirira n'ebika ebisuubirwa okuva mu bifo eby'okuyita) efuula pyright notably okubeera entuufu okusinga mypy ku bidomola empty. Okusuubulagana kwa verbosity: pyright's strict mode flags nga 30-40% more issues ku codebase eyabulijjo etaliiko bubonero bw'ogeraageranya ne strict mode ya mypy, okusinziira ku kwekenneenya okuva mu lipoota eziwerako ez'okusenguka eziggule. Ku ttiimu ezizimba enkola enzibu ez’emabega — tugambe, omukutu oguddukanya modulo 207 ezikwatagana ezikwata ku CRM, payroll, n’okwekenneenya — obukakafu bwa pyright bukwata obutakwatagana obutonotono obw’enkolagana (subtle interface mismatches) nti lenient inference yandisubiddwa.

Pytype ne Pyre: Enguudo ezitatambula nnyo

Pytype ya Google etwala mpozzi enkola esinga okukola. Mu kifo ky’okwetaaga obugambo oba okudda emabega ku Any, pytype ekozesa okwekenneenya pulogulaamu yonna okulondoola engeri ekintu gye kikozesebwamu okuyita ku nsalo z’emirimu. Singa okola olukalala ekyerere mu mulimu gumu n'oguyisa ku mulala ogugattako namba enzijuvu, pytype etera okuteebereza list[int] awatali bunnyonnyola bwonna n'akatono. Okuteebereza kuno okw’emirimu egy’omusalaba kwa bbeeyi mu kubalirira — pytype egenda mpola nnyo okusinga mypy oba pyright ku codebases ennene — naye efulumya ebirungi ebitono eby’obulimba ku koodi ezitaliiko bubonero.

Pytype era eyanjulira endowooza ya "ebika by'ekitundu" ku bibya ebitalimu kintu kyonna. [] eyaakatondebwa efuna ekika ky'ekitundu ekigenda kirongoosebwa nga omukebera asisinkana enkozesa okusingawo. Kino kinyuma mu ndowooza naye kiyinza okuvaamu obubaka bw’ensobi obutabula ng’ekika ky’ekitundu tekisobola kugonjoolwa mu bujjuvu, gamba nga ekintu ekyerere bwe kikulukuta okuyita mu mirimu egiwerako nga tekijjula.

Meta's pyre, mu kiseera kino, hews okumpi n'enneeyisa ya mypy naye nga tighter defaults. Pyre etwala x = [] nga list[unknown] era yeetaaga okunnyonnyola mu mbeera ezisinga obungi. Pyre we yeeyawula eri mu ngeri gye yeekwatamu empty dictionary literals ezikozesebwa nga kwargs — enkola eya bulijjo mu web frameworks. Pyre erina ensonga ey’enjawulo okuteebereza ebika by’enkuluze okuva mu mbeera z’ensonga z’ebigambo ebikulu, okukendeeza ku buzito bw’obunnyonnyola mu codebases ezizitowa framework. Okusinziira ku ngeri enkola z’omukutu ezisinga ez’omulembe zizingiramu okukozesa ennyo okusumulula nkuluze okusobola okusengeka n’okukwata okusaba, enkola eno ey’okukola (pragmatism) esasula amagoba.

Ekikosa Ensi Entuufu: Nga Inference Divergence Eluma

Enjawulo wakati w'abakebera ekika ziyinza okulabika ng'ez'eby'ensoma okutuusa lw'ozifuna mu codebase y'okufulumya. Lowooza ku nkola eya bulijjo mu nkola za bizinensi: okutandikawo ensengeka ya data efuna okujjula mu bukwakkulizo.