ፓይቶን ዓይነት መርማሪ ምውድዳር: ባዶ ኮንተይነር መደምደምታ

ንምንታይ ባዶ ኮንተይነራት ንመመርመሪ ዓይነት ፓይቶን ይሰብሩ — ከምኡ’ውን ብዛዕባኡ እንታይ ክትገብር ከም እትኽእል

Python ቀስ ብቐስ ዝጥቀመሉ ስርዓተ ምጽሓፍ PEP 484 ኣብ 2015 ናይ ዓይነት ምልክታት ካብ ዘተኣታቱ ንደሓር ብዓቢኡ በሲሉ ኣሎ።ሎሚ ሚልዮናት ዲቨሎፐራት ቅድሚ ምፍራይ ምውቃዖም ብልሽት ንምሓዝ ኣብ ስታቲክ ዓይነት መርመርቲ ይምርኮሱ። ግን ሓደ ረቂቕን ተስፋ ዘቑርጽን ኩርናዕ ናይቲ ዓይነት ስርዓት ኣሎ፡ ክሳብ ሕጂ ንሙኩራት መሃንድሳት ከይተረፈ ዝዕንቅፍ፡ ባዶ መትሓዚ እንታይ ዓይነት ኣለዎ? x = [] ብዘይ መግለጺ ክትጽሕፍ ከለኻ፡ መርማሪ ዓይነትካ ክግምት ኣለዎ — ዝተፈላለዩ መርመርቲ ድማ ዝተፈላለየ ግምት ኣለዎም። እዚ ምፍልላይ እዚ ንዓበይቲ ኮድቤዝ ዝሕልዋ ጋንታታት ናይ ብሓቂ ጸገማት ይፈጥር፣ ኣብዚ ምቕያር ወይ ምውህሃድ ዓይነት መርመርቲ ኣብ ሓደ ለይቲ ኣማኢት ዘይተጸበኻዮ ጌጋታት ከጋጥም ይኽእል።

እዚ ጽሑፍ እዚ እቶም ኣርባዕተ ዓበይቲ ናይ ፓይቶን ዓይነት መርመርቲ — mypy, pyright, pytype, and pyre — ንባዶ መትሓዚ ምድምዳም ብኸመይ ከም ዝሕዝዎ፣ ስለምንታይ ከም ዘይሰማምዑ፣ ከምኡ’ውን ምርጫ መሳርሒኻ ብዘየገድስ ዓይነት-ውሑስ ፓይቶን ንምጽሓፍ እንታይ ግብራዊ ስትራተጂታት ክትወስድ ከም እትኽእል ይበታተን እዩ።

እቲ ቀንዲ ጸገም፡ ባዶ መትሓዚታት ብባህሪኦም ዘይንጹር እዮም

ነዚ ንጹህ መስመር ፓይቶን ንርአ፡ results = []። ውጽኢት ዝርዝር[int] ድዩ? ሓደ ዝርዝር[str]? ሓደ ዝርዝር[dict[str, ዝኾነ]]? ብዘይ ተወሳኺ ዓውደ-ጽሑፍ፡ ብሓቂ ክትፈልጦ እትኽእለሉ መንገዲ የለን። ናይ ፓይቶን ምዝዋር ግዜ ኣይግድሶን እዩ — ዝርዝር ብባህሪኡ ዘይተመሳሳሊ እዩ — ግን ስታትቲክ ዓይነት መርመርቲ ስርሖም ንኽሰርሑ ንነፍሲ ​​ወከፍ ተለዋዋጢ ጭቡጥ ዓይነት ክምድቡ ኣለዎም። እዚ ድማ ኣብ መንጎ ዳይናሚክ ተዓጻጻፍነት ፓይቶንን ስታትቲካዊ ትንተና ክህቦ ዝፍትን ውሕስነትን መሰረታዊ ወጥሪ ይፈጥር።

እቲ ጸገም ምስ መዝገበ ቃላትን ስብስባትን ይወሃሃድ። ባዶ {} ብሓቂ ከም dict እምበር ከም set ኣይኮነን ዝትንተን፣ እዚ ድማ ኣብ ልዕሊ እቲ ብደረጃ ዓይነት ዘሎ ዘይንጹርነት ስነ-ቓላዊ ዘይንጹርነት ይውስኽ። ከምኡ’ውን ዝተሰነዩ መትሓዚታት — ሕሰብ defaultdict(list) ወይ results = {k: [] for k in keys} — ንሞተር መደምደምታ ናብ ደረቶም ይደፍእዎም። ነፍሲ ወከፍ ዓይነት መርማሪ ናይ ገዛእ ርእሱ ሂውሪስቲክስ ኣማዕቢሉ እዩ፣ እቲ ፍልልያት ድማ ካብቲ መብዛሕትኦም ኣዳለውቲ ዝግንዘብዎ ዝያዳ ትርጉም ዘለዎ እዩ።

ኣብቲ ሓቀኛ ጽዕነት ስራሕ ዝሰርሑ ስርዓታት ምፍራይ — መዛግብቲ ዓማዊል ዝሕዝ CRM ይኹን፣ መስመር ነገራት ዘመንጩ ሞዱል ፋክቱር፣ ወይ ድማ መለክዒታት ዘዋህልል መስመር ትንታነ ሻምብቆ — ባዶ መትሓዚታት ብቐጻሊ ከም ቅዲ ምጅማር ይረኣዩ። ዓይነታቶም ብጌጋ ምርካብ ናይ ሊንተር መጠንቀቕታ ጥራይ ኣይኮነን ዘምጽእ፤ ናብ ምዝዋር ግዜ ዝሰሓቡ ሓቀኛታት ብልሽታት ክሽፍኑ ይኽእሉ።

ሚፒ: ዝተናወሐ መደምደምታ ምስ ስዉር ዝኾነ

ማይፒ፡ እቲ ዝጸንሐን ብሰፊሑ ዝቕበልን ናይ ፓይቶን ዓይነት መርማሪ፡ ኣብ ባዶ መትሓዚታት ብተዛማዲ ልኡም ኣገባብ ይኽተል። ኣብ ፋንክሽን ስኮፕ x = [] ምስ ዘጋጥም፡ ንዓይነት ውሳነ ከናውሖን ነቲ ዓይነት ባእታ ካብ ስዒቡ ዝመጽእ ኣጠቓቕማ ክግምቶን ይፍትን። x = [] ስዒቡ x.append(42) እንተ ጽሒፍካ፡ mypy list[int] ክግምት እዩ። እዚ "ምጽንባር" ዝብል ስትራተጂ፡ እቲ ኮንተይነር ኣብ ውሽጢ ሓደ ስፍሓት ዝተመልአሉ ቀጥታዊ ጉዳያት ብዘገርም መልክዑ ጽቡቕ ይሰርሕ።

እንተኾነ ግን፡ ባህርያት mypy ከከም ዓውድን ቅጥዕታት ጽኑዕነትን ኣዝዩ ይቕየር። ኣብ ሞዱል ስኮፕ (ላዕለዋይ ደረጃ ኮድ)፣ ወይ እቲ ኮንተይነር ቅድሚ ምምላኡ ናብ ካልእ ፋንክሽን ክሓልፍ ከሎ፣ mypy መብዛሕትኡ ግዜ ናብ list[Any] ይምለስ። ኣብ ትሕቲ --strict ዝብል ሰንደቕ ዕላማ፡ እዚ ጌጋ የበግስ፡ ኣብ ነባሪ ሞድ ግን ስቕ ኢሉ ይሓልፍ። እዚ ማለት ብዘይ ጽኑዕ ሞድ ማይፒ ዝሰርሓ ጋንታታት ካብቲ ናይ ዓይነት ስርዓት ከም መህደሚ ምህዳም ዝሰርሑ ዓሰርተታት ብዘይተሓበረ መንገዲ ዝተጻሕፉ መትሓዚታት ከዋህልላ ይኽእላ እየን፣ ንዕላማኡ ድማ ይስዕራ።

ሓደ ብፍላይ ረቂቕ ባህሪ: ቅድሚ 0.990 ዝነበሩ mypy ስሪት ሓደ ሓደ ግዜ list[Unknown] ብውሽጢ ይግምት እሞ ድሕሪኡ ኣብ ምደባ ናብ list[Any] ይሰፍሕ። ድሕሪ 0.990 እቲ መደምደምታ ተጠናኺሩ፡ እቲ ለውጢ ግን ነቶም ከይተረድኦም ኣብቲ ፍቓደኛ ባህሪ ክምርኮሱ ዝጸንሑ ዘገርም ቁጽሪ ናይ ሓቂ ዓለም ኮድቤዛት ሰበረ። እዚ ተደጋጋሚ ቴማ እዩ — ለውጢ ናብ ባዶ መትሓዚ መደምደምታ ካብቶም ኣዝዮም ምዝባዕ ዓይነት መርማሪ ምዕባለታት እዮም ምኽንያቱ እቶም ቅጥዕታት ኣዝዮም ኣብ ኩሉ ቦታታት ስለዘለዉ።

Pyright: ጽኑዕ መደምደምታን እቲ "ዘይፍለጥ" ዓይነት

ን።

ብማይክሮሶፍት ዝተማዕበለን ንፓይላንስ ኣብ ቪኤስ ኮድ ሓይሊ ዝህብን ፓይራይት ብመሰረቱ ዝተፈለየ ፍልስፍናዊ መርገጺ ዝሓዘ እዩ። ፓይራይት ስቕ ኢሉ ናብ ዝኾነ ኣብ ክንዲ ዝምለስ፡ ኣብ መንጎ ዘይፍለጥ (ክሳብ ሕጂ ዘይተወሰነ ዓይነት)ን ዝኾነን (ግሉጽ ካብ ዓይነት ምፍታሽ ምውጻእ) ይፈላልዮ። x = [] ብናይ pyright ጽኑዕ ሞድ ክትጽሕፍ ከለኻ፡ list[Unknown] ይግምት እሞ መርመራ ይሕብር፡ እዚ ድማ መግለጺ ክትህብ የገድደካ።

ፓይራይት ብዛዕባ ኣብ ውሽጢ ስፍሓት ምጽባብ እውን ዝያዳ ዕጡቕ እዩ። እንተ ጽሒፍካ:

ዝብል ጽሑፍ ኣሎ።
• x = [] ስዒቡ x.append("hello") — ፓይራይት ዝርዝር[str]
ይግምት።
• x = [] ስዒቡ x.append(1) ድሕሪኡ x.append("ሰላም") — ፓይራይት ዝርዝር[int | str]
ዝብል ጽሑፍ ኣሎ።
• x = [] ብቐጥታ ናብ list[int] ዝጽበ ፋንክሽን ይሓልፍ — pyright ካብቲ ናይ ጻውዒት-ሳይት ዓውደ-ጽሑፍ
list[int] ይግምት።
• x = [] ካብ ፋንክሽን ብዘይ ናይ ምምላስ ዓይነት መግለጺ ተመሊሱ — pyright ካብ ምግማት ጌጋ ይሕብር

ዝብል ጽሑፍ ኣሎ።

እዚ ክልተኣዊ መደምደምታ (ክልቲኡ ስዒቡ ዝመጽእ ኣጠቓቕማን ካብ ናይ ጻውዒት ሳይታት ትጽቢት ዝግበረሉ ዓይነታትን ብምጥቃም) ንpyright ብፍሉይ ካብ mypy ንባዶ መትሓዚታት ዝያዳ ልክዕ ይገብሮ። እቲ ምትሕውዋስ ቃላት (verbosity) እዩ: ናይ pyright ጽኑዕ ሞድ ብግምት 30-40% ዝያዳ ጉዳያት ኣብ ሓደ ልሙድ መግለጺ ዘይብሉ ኮድቤዝ ምስ ናይ mypy ጽኑዕ ሞድ ክነጻጸር ከሎ ሰንደቕ ዕላማ ይገብር፣ ብመሰረት ትንተና ካብ ሓያሎ ክፉት ምንጪ ጸብጻባት ስደት። ንዝተሓላለኹ ድሕረ-ባይታ ስርዓታት ዝሃንጹ ጋንታታት - ንበል፡ 207 ንሓድሕዶም ዝተኣሳሰሩ ሞዱላት ዘመሓድር መድረኽ፡ CRM, payroll, and analytics ዝሽፍኑ - pyright’s strictness ረቂቕ ናይ መተሓላለፊ ዘይምስምማዕ ይሕዝ፡ lenient inference would minss.

ፓይታይፕን ፓይርን፡ እቶም ውሑድ ጉዕዞ ዘለዎም ጽርግያታት

ናይ ጉግል ፓይታይፕ ምናልባት እቲ ዝበለጸ ፕራግማቲክ ኣገባብ ይወስድ። ፓይታይፕ ኣብ ክንዲ መግለጺታት ዘድልዮ ወይ ናብ ዝኾነ ምምላስ፡ ሓደ መትሓዚ ኣብ ስግር ዶባት ተግባር ከመይ ከም ዝጥቀም ንምክትታል ምሉእ-ፕሮግራም ትንተና ይጥቀም። ኣብ ሓደ ፋንክሽን ባዶ ዝርዝር ፈጢርካ ናብ ካልእ ምሉእ ቁጽርታት ዝውስኽ እንተ ኣሕሊፍካዮ፡ pytype መብዛሕትኡ ግዜ ብዘይ ዝኾነ ይኹን መግለጺታት list[int] ክግምት ይኽእል። እዚ መስቀላዊ ተግባር መደምደምታ ብስሌታዊ መንገዲ ክቡር እዩ — ፓይታይፕ ኣብ ዓበይቲ ኮድቤዛት ካብ ማይፒ ወይ ፓይራይት ብኣግባቡ ዝሓሰረ እዩ — ኣብ ዘይተጠቕሰ ኮድ ግን ውሑድ ናይ ሓሶት ኣወንታዊ ነገራት የፍሪ።

ፓይታይፕ ንባዶ መትሓዚታት "ከፊላዊ ዓይነታት" ዝብል ኣምር እውን የተኣታቱ። ሓድሽ ዝተፈጥረ [] እቲ መርማሪ ዝያዳ ኣጠቓቕማ ምስ ዘጋጥሞ በብቑሩብ ዝጽረግ ከፊላዊ ዓይነት ይረክብ። እዚ ብኣምር ውቁብ ኮይኑ ግን እቲ ከፊላዊ ዓይነት ምሉእ ብምሉእ ክፍታሕ ኣብ ዘይክእለሉ እዋን፡ ከም ባዶ መትሓዚ ንሓያሎ ተግባራት ከይተመልአ ክውሕዝ ከሎ፡ ምድንጋር ዝመልኦ ናይ ጌጋ መልእኽቲ ከስዕብ ይኽእል።

ናይ ሜታ ፓይር ብወገኑ ናብ ባህሪ mypy ዝቐርብ ግን ከኣ ብዝጸንዐ ነባሪታት ይቖርጽ። ፓይር ንx = [] ከም ዝርዝር[ዘይፍለጥ] ይሕዞን ኣብ መብዛሕትኡ ጽሑፋት መግለጺ ይሓትት። ፓይር ንነብሱ ዝፈልየሉ ኣብ ኣተሓሕዛኡ ባዶ መዝገበ ቃላት ከም kwargs ዝጥቀሙሉ እዩ — ኣብ ዌብ ፍሬምዎርክታት ልሙድ ቅዲ። ፓይር ካብ ቁልፊ ቃላት ስነ-ሞጎት ዓውድታት ዓይነታት መዝገበ-ቓላት ንምግማት ፍሉይ-ጉዳይ ስነ-መጐት ኣለዎ፣ እዚ ድማ ኣብ ፍሬምዎርክ-ከቢድ ኮድቤዛት ጾር መግለጺ ይንክዮ። መብዛሕትኦም ዘመናውያን መተግበሪታት መርበብ ሓበሬታ ንውቅርን ኣተሓሕዛ ሕቶን ዝኸውን ምፍታሕ መዝገበ ቃላት ብኸቢድ ምጥቃም ዘጠቓልሉ ምዃኖም ኣብ ግምት ብምእታው፡ እዚ ፕራግማቲዝም ረብሓ ይኸፍል።

ጽልዋ ሓቀኛ ዓለም፡ መደምደምታ ምፍልላይ ክነክስ ከሎ

ኣብ መንጎ ዓይነት መርመርቲ ዘሎ ፍልልይ ኣብ ናይ ምፍራይ ኮድቤዝ ክሳብ እትረኽቦ ኣካዳሚያዊ ክመስል ይኽእል። ኣብ ንግዳዊ መተግበሪታት ልሙድ ቅዲ ንርአ: ብቕድመ ኩነት ዝመልእ ቅርጺ ዳታ ምጅማር።

<ብሎክኮት> ዝብል ጽሑፍ ኣሎ።

እቶም ኣዝዮም ሓደገኛታት ባዶ መትሓዚታት እቶም ናይ ዓይነት መርመርቲ ሰንደቕ ዕላማ ዝገብሩ ኣይኮኑን — እቶም ስቕ ኢሎም ብዝተገመተ ዝኾነ ዓይነት ዝሓልፉ እዮም፣ ክሳብ ሓደ ታሕተዋይ መስመር ፋንክሽን ኣብ ግዜ ምዝዋር ብ TypeError ክሳብ መበቆሉ ክትምለስ ዘይከኣል ክሳብ ዝፈርስ ዘይተሰማማዕ ዳታ ብዘይ መጠንቀቕታ ክእከብ የኽእሎ።

ዝብል ጽሑፍ ኣሎ።| እቲ ዝርዝር ንብዝሒ ባጤራ ዝኸውን ዓስራይ ነገራት ክሕዝ ነይርዎ፣ ኣብ ክንድኡ ግን ሓደ ናይ ኮድ መንገዲ ፍሎት ክብርታት ይውስኽ ነይሩ። ማይፒ ዝሃበቶ ልኡም መደምደምታ ስቕ ኢሉ ኣፍቂዱሉ። እቲ ብልሽት ኣብ ፍሎት ኣሪትሜቲክ ዝነበረ ናይ ምኽባብ ጌጋታት ኣብ ልዕሊ 12,000 ፋክቱራት $0.01 ዘይምስምማዕ ምስ ዘስዓበ ጥራይ እዩ ተፈጢሩ። pyright ኣብ ጽኑዕ ሞድ እንተዝጥቀሙ ነይሮም፣ ወይ ድማ ነቲ ባዶ ዝርዝር list[Decimal] ኢሎም ጥራይ መግለጺ እንተዝህብዎ ነይሮም፣ እቲ ስሕተት ኣብ ግዜ ምዕባለ ምተታሕዘ ነይሩ።

ኣብቲ እቲ መድረኽ ፋክቱር፡ ስሌታት ደሞዝን ፋይናንሳዊ ትንታነታትን ኣብ መላእ 138,000+ ናይ ተጠቃሚ ኣካውንታት ዘሰላስለሉ መዋይዝ፡ እዚ ዓይነት ናይ ዓይነት-ድሕነት ክፍተት ክልሰ-ሓሳባዊ ኣይኮነን — ኣብ መንጎ ቅኑዕ ናይ ደሞዝ ጉያታትን ብዙሕ ወጻኢታት ዝሓትት ዳግመ-ስሌታትን ዘሎ ፍልልይ እዩ። ኣብ ዙርያ ምጅማር ኮንተይነር ጽኑዕ ናይ ምጽሓፍ ስነ-ስርዓት ሓደ ካብቶም "ኣሰልቻዊ" ምህንድስናዊ ኣሰራርሓታት ኮይኑ፡ መሳጢ ፍጻመታት ምፍራይ ዝከላኸል እዩ።

ብሉጽ ልምድታት ንመከላኸሊ ኮንተይነር ምጅማር

ጋንታኻ ኣየናይ ዓይነት መርማሪ ትጥቀም ብዘየገድስ፡ ባዶ ኮንተይነር ዘይንጹርነት ምሉእ ብምሉእ ንምውጋድ ጭቡጥ ስትራተጂታት ኣለዉ። እቲ ዕላማ ንባዶ መትሓዚታት ኣብ መደምደምታ ፈጺምካ ዘይምጽጋዕ እዩ — እቲ ዓይነት ግሉጽ ግበሮ ምእንቲ ኮድካ ኣብ ኩሎም መርመርቲ ተንቀሳቓሲ ክኸውንን ኣብ መንጎ ስሪት ካብ ዝመጽእ ናይ ምግማት ባህሪ ለውጢ ነጻ ክኸውንን።

ዝብል ጽሑፍ ኣሎ።
1. ኩሉ ግዜ ባዶ ተለዋዋጢ መትሓዚ መግለጺ ሃብ። ኣብ ክንዲ ውጽኢት = [] ውጽኢት ጽሓፍ: list[int] = []። እቲ ንእሽቶ ወጻኢታት ቃላት ምስቲ ዝቑጠብ ናይ ምእራም ግዜ ክነጻጸር ከሎ ንእሽቶ እዩ። እዚ ሓደ ልምዲ እዚ ብግምት 80% ናይ ባዶ ኮንተይነር መደምደምታ ጉዳያት የወግድ።
2. ንዝተሓላለኹ መትሓዚታት ናይ ፋብሪካ ተግባራት ተጠቐም። ኣብ ክንዲ cache = {}፡ ከም def make_cache() -> dict[str, list[UserRecord]] ዝኣመሰለ ፋንክሽን ጽሓፍ፡ {} ተመለስ። እቲ ናይ ምምላስ ዓይነት መግለጺ ነቲ ዝተሓሰበ ዓይነት ዘይርጉጽን ባዕሉ ዝስነድን ይገብሮ።
3. ንዘይነዓቕ ዓይነታት ካብ ቃል ብቓላት ዝተጻሕፉ ሃነጽቲ ምረጹ። ኣብ ክንዲ ኣብ ስብስብ ምርዳእ መደምደምታ ምጽጋዕ items ጽሓፍ: set[int] = set()። ንdefaultdictን Counterን፡ ኩሉ ግዜ ናይ ዓይነት መለክዒ ኣቕርብ፡ counts፡ Counter[str] = Counter().
4. ንሓድሽ ኮድ ናይ ዓይነት መርማሪኻ ጽኑዕ ሞድ ኣወሃህቦ። ክልቲኦም mypyን pyrightን ንነፍሲ ወከፍ ፋይል ወይ ንነፍሲ ወከፍ ማህደር ውቅር ይድግፉ። በብቑሩብ ውርሻ ኮድ እናሰደድካ ኣብ ሓደስቲ ሞዱላት ጽኑዕ ምፍታሽ ኣኽእሎ። እዚ ድማ ሓደስቲ ብዘይተሓበረ መንገዲ ዝተጻሕፉ መትሓዚታት ንኸይእከቡ ይከላኸል።
5. ናይ ዓይነት መርማሪ ንጽጽር ኣብ CI ሻምብቆኻ ወስኽ። ንኽልቲኦም mypyን pyrightን ኣብ ኮድቤዝካ ምጉያይ ንመደምደምታ ምፍልላይ ብኣግኡ ይሕዞ። ሓደ ቅዲ ንሓደ መርማሪ ሓሊፉ ንኻልእ እንተፈሺሉ፡ እቲ ዓይነት እኹል ግሉጽ ከምዘይኮነ ዝሕብር ምልክት እዩ።

ዝብል ጽሑፍ ኣሎ።

እቲ ዝዓበየ ስእሊ፡ ምፍታሽ ዓይነት ከም ናይ ጋንታ ልምምድ

ባዶ ኮንተይነር ምድምዳም ኣብ መወዳእታ ኣብ ፓይቶን ዓይነት ስርዓት ዝዓበየ ብድሆ ማይክሮኮስም እዩ: ኣብ መንጎ ምቹእነትን ድሕነትን ዘሎ ወጥሪ። "ኩላትና ንሰማማዕ ዓበይቲ ኢና" ዝብል ፍልስፍና ፓይቶን ንፕሮቶታይፕን ስክሪፕትን ጽቡቕ ጌሩ ይሰርሕ፡ ንኣሽሓት ተጠቀምቲ ዘገልግሉ ስርዓታት ምፍራይ ግን ዝሓየለ ውሕስነት የድልዮም። ኣርባዕተ ዓበይቲ ዓይነት መርመርቲ ኣብ ከም ዓይነት [] ዝኣመሰለ መሰረታዊ ነገር ዘይምስምማዖም፡ እቲ ናይ ፓይቶን ምጽሓፍ ስነ-ህይወት ገና ይበስል ከምዘሎ የጉልሕ።

ንዝተሓላለኹ መድረኻት ዝሃንጹ ናይ ምህንድስና ጋንታታት — ብኣጻብዕ ዝቑጸሩ ማይክሮሰርቪስታት ትመርሕ ትኹን ወይ ከም ናይ ሜዋይዝ ቢዝነስ ኦኤስ ዝኣመሰሉ ኣማኢት ንሓድሕዶም ዝተኣሳሰሩ ሞዱላት ዘለዎ ዝተዋሃሃደ ስርዓት — እቲ ግብራዊ ምኽሪ ቅኑዕ እዩ: ንባዶ መትሓዚታት ኣብ መደምደምታ ኣይትምርኮስ፣ ዓይነት መርማሪ ምረጽን ብጥብቂ ምውቃርን፣ ከምኡ’ውን ንዓይነት መግለጺታት ከም ኣጋጣሚ ዝኾነ ሰነድ ጌርካ ምውሳድ ብማሽን ዝረጋገጽ። ኣብ ክንዲ [] list[Invoice] ንምጽሓፍ ዘሕለፍካዮ ሓሙሽተ ደቓይቕ፡ ኮድቤዝካ ምስ ዝዓቢ ንሰዓታት ናይ ምእራም ከድሕነካ እዩ።

PEP 696 (ነባሪ ዓይነት መለክዒታት)ን PEP 695 (ዓይነት መለክዒ ስነ-ቓል)ን ኣብ ሓደስቲ ስሪት ፓይቶን ክዓልቡ እንከለዉ፡ ኤርጎኖሚክስ ናይ ግሉጽ ምጽሓፍ እናተመሓየሸ ክቕጽል እዩ። ኣብ መንጎ "annotated"ን "unannotated"ን ፓይቶን ዘሎ ክፍተት ክጸብብ እዩ። ክሳብ እታ መዓልቲ ግን፡ ግሉጽ ዓይነታት ኮንተይነር ሓደ ካብቶም ዝለዓለ ROI ዘለዎም ልምድታት ኣብ ናይ ፓይቶን ዲቨሎፐር ቱልኪት ኮይኑ ይቕጽል — ንእሽቶ ዲሲፕሊን ኣብ ነፍሲ ወከፍ ሞዱል፡ ኣብ ነፍሲ ወከፍ ቅጽበታዊ ውድድር፡ ከምኡ’ውን ኣብ ነፍሲ ወከፍ ምዝርጋሕ ምፍራይ ውሁድ ወለድ ዝኸፍል።

ዝብል ጽሑፍ ኣሎ።

ብተደጋጋሚ ዝሕተቱ ሕቶታት

ንምንታይ እዮም መርመርቲ ጽሕፈት ኣብ ዓይነት ባዶ ዝርዝር ክሰማምዑ ዘይክእሉ?

`x = []` ክትጽሕፍ ከለኻ፡ እቲ ዓይነት መርማሪ፡ ግሉጽ ምልክታት ዘይብሉ ዓይነት ክግምት ኣለዎ። ዝተፈላለዩ መርመርቲ ዝተፈላለየ ስትራተጂታት ይጥቀሙ: ገሊኦም `list[Any]` (ዝርዝር ዝኾነ ነገር) ክግምቱ እንከለዉ፡ ገሊኦም ድማ ዝያዳ ፍሉይ ግን ከኣ ዘይቅኑዕ ዓይነት ከም `list[None]` ክግምቱ ይኽእሉ። እዚ ኣድማሳዊ መለክዒ ዘይምህላው ድማ እዩ ዘይሰማምዑ። ንብዙሓት መርመርቲ ዝጥቀሙ ፕሮጀክትታት፡ እዚ ዘይምስምማዕ ዓቢ ሕማም ርእሲ ክኸውን ይኽእል፡ ኣብ ሓደ መሳርሒ ንዝሓልፍ ትንተና ዝሰብር።

ባዶ ኮንተይነር ጌጋታት ንምእራም ዝቐለለ መንገዲ እንታይ እዩ?

እቲ ዝቐንዐ ፍታሕ ግሉጽ ዓይነት መግለጺ ምሃብ እዩ። ኣብ ክንዲ `my_list = []`፡ ነቲ ዝተሓሰበ ዓይነት ብግልጺ ንምእዋጅ `my_list: list[str] = []` ጽሓፍ። እዚ ንኹሉ ዘይንጹርነት ናይቲ ዓይነት መርማሪ የወግድ፣ ኣብ ዝተፈላለዩ መሳርሒታት ከም mypy, Pyright, Pyre ቅኑዕ ባህሪ የረጋግጽ። እዚ ተግባር እዚ ንኹሎም ባዶ መትሓዚ ምጅማር ይምከር ንናይ መደምደምታ ጌጋታት ንምክልኻል።

ኣብ ውሽጢ ትርጉማት ክፍሊ ባዶ መትሓዚታት ብኸመይ እሕዞም?

እዚ ልሙድ ጉዳይ እዩ ምኽንያቱ ኣብ ውሽጢ ክፍልታት ዝርከቡ መግለጺታት ፍሉይ ኣተሓሕዛ ስለዘድልዮም። እቲ ዝርዝር ናይ ክፍሊ ባህሪ ክኸውን ዝተሓሰበ እንተኾይኑ `ካብ __future__ import annotations` import ወይ `ClassVar` መግለጺ ክትጥቀም ኣለካ። ንኣብነት `ክላስ MyClass: my_list: ClassVar[ዝርዝር[str]] = []`። እዚ እንተዘይኮይኑ እቲ ዓይነት መርማሪ ነቲ ዓይነት ብትኽክል ንምግማት ክቃለስ ይኽእል እዩ፣ እዚ ድማ ናብ ጌጋታት የስዕብ።

ነዞም ናይ ምጽሓፍ ጉዳያት ኣብ ዓበይቲ ፕሮጀክትታት ንምምሕዳር ዝሕግዙ መሳርሒታት ኣለዉ ድዮም?

እወ፡ ከም Pyright ዝኣመሰሉ ምዕቡላት ዓይነት መርመርቲ (እዚ ንPylance ኣብ VS Code ሓይሊ ዝህብ) ብፍላይ ኣብ ምሕላው ዝተሓላለኸ መደምደምታ ንፉዓት እዮም። ንዓበይቲ ኮድቤዝ፡ ከም Mewayz ዝኣመሰሉ መድረኻት (207 ናይ ትንተና ሞዱላት ብ$19/ወርሒ ዘቕርቡ) ዝዓሞቐን ዝያዳ ቅኑዕን ዓይነት ምፍታሽ ክህቡን ኣብ መላእ ጋንታኻ ናይ መግለጺ ልምድታት ንምትግባር ክሕግዙን ይኽእሉ፡ እዚ ድማ ነቲ ኣብቲ ጽሑፍ ዝተዘተየሉ ዘይምስምማዕ የቃልል።