Python Type Checker чагыштыру: Буш контейнер инференциясе

Шулай да, mypy тәртибе контекстка һәм катгыйлык көйләүләренә карап кискен үзгәрә. Модуль масштабында (югары дәрәҗәдәге код), яисә контейнер популяр булганчы бүтән функциягә күчерелгәндә, mypy еш исемлеккә [Any] га кире кайта. - катлаулы флагы астында бу хата җибәрә, ләкин килешү режимында ул тавышсыз уза. Димәк, каты режимсыз мипи белән эшләүче командалар дистәләгән тулы типтагы контейнерлар туплый ала, алар тип системасыннан качу ролен үтиләр, аның максатын җиңәләр.

Бер аеруча нечкә тәртип: 0.990 елга кадәр булган mypy версияләре кайвакыт исемлек [билгесез] ны кертә, аннары биремдә исемлеккә [теләсә нинди] киңәйтеләчәк. 0.990-дан соң, инфраструктура көчәйтелде, ләкин үзгәртү реаль дөнья кодексларын гаҗәпләндерде, алар рөхсәтсез тәртипкә таянганнар. Бу кабатлана торган тема - буш контейнер инфраструктурасына үзгәрешләр иң күп бозучы тип тикшерүчеләр арасында, чөнки үрнәкләр бик киң таралган.

Авторлык хокукы: катгый инференция һәм "билгесез" тип

Майкрософт тарафыннан эшләнгән һәм Pylance VS кодында эшләнгән авторлык, бөтенләй башка фәлсәфи позиция ала. Тыныч кына теләсә нинди ка кире кайту урынына, авторлык хокукы билгесез (әле билгеләнмәгән төр) һәм теләсә нинди (төрне тикшерүдән баш тарту) арасында аерыла. Авторлык хокукының катгый режимында x = [] язганда, ул исемлекне [билгесез] кертә һәм диагностика турында хәбәр итә, сезне аннотация бирергә мәҗбүр итә.

Авторлык хокукы шулай ук масштабта таралу турында агрессив. Язсагыз:

• x = [] аннан соң x.append ("сәлам") - авторлык хокукларын бозучылар исемлек [str]
• x = [] , аннары x.append (1) , аннары x.append ("сәлам") - авторлык хокукларын бозучылар исемлеге [int | str]
• x = [] турыдан-туры исемлек [int] көткән функциягә күчте - чакыру сайты контекстыннан авторлык хокукларын бозучылар исемлек [int]
• x = [] функциядән кире типтагы аннотациясез кайтты - авторлык хокукы фаразлау урынына хата турында хәбәр итә

Бу ике яклы инфраструктура (алдагы куллануны да, шалтырату сайтларыннан көтелгән төрләрне дә кулланып) буш контейнерлар өчен мипиягә караганда авторлык хокукын төгәлрәк итә. Сәүдә нәтиҗәләре - ачык сүз: миграциянең катгый режимы белән чагыштырганда, авторның катгый режимы типик билгесез код базасында якынча 30-40% күбрәк проблемалар флаглары, ачык чыганак миграция докладлары анализы буенча. Комплекслы арткы системалар төзүче командалар өчен - әйтик, CRM, хезмәт хакы һәм аналитика белән бәйләнгән 207 үзара бәйләнгән модульләр белән идарә итүче платформа - авторлык хокукының катгыйлыгы йомшак интерфейсның туры килмәвен тота, йомшак инфраструктура сагыныр.

Пайтип һәм Пир: Азрак сәяхәт ителгән юллар

Google питипы, мөгаен, иң прагматик алымны ала. Аннотацияләр таләп итү яки теләсә нинди ка кире кайту урынына, пайтип контейнерның функция чикләрендә ничек кулланылуын күзәтү өчен бөтен программа анализы куллана. Әгәр сез бер функциядә буш исемлек булдырсагыз һәм аны бөтен саннарны кушкан икенчесенә бирсәгез, питип еш кына аннотацияләрсез исемлекне [int] кертә ала. Бу кросс-функция инфраструктурасы исәпләү өчен кыйммәт - питип мипка яки эре код базаларында авторлык хокукына караганда әкренрәк - ләкин ул билгесез кодта азрак позитив чыгара.

Pytype шулай ук буш контейнерлар өчен "өлешчә төрләр" төшенчәсен кертә. Яңа төзелгән [] өлешчә тип ала, тикшерүче күбрәк куллануга очрый. Бу концептуаль яктан нәфис, ләкин өлешчә типны тулысынча чишә алмаганда, буш контейнер берничә функция аша популяр булмаганда, буталчык хата хәбәрләрен чыгарырга мөмкин.

Мета пире, шул ук вакытта, mypy тәртибенә якынрак, ләкин катырак дефолтлар белән. Пир х = [] ны исемлек [билгесез] дип саный һәм күпчелек контекстта аңлатма таләп итә. Пир үзен дифференциацияләгән урында, kwargs буларак кулланылган буш сүзлек литераллары - веб-рамкаларда киң таралган үрнәк. Пирның төп сүз логикасы бар, төп сүз аргумент контекстыннан сүзлек төрләрен табу, катлаулы код базаларында аннотация йөген киметү. Заманча веб-кушымталарның конфигурация һәм сорау белән эш итү өчен сүзлек ачу авыр кулланылуын исәпкә алсак, бу прагматизм дивидендлар түли.

Реаль дөнья йогынтысы: Инференциаль аерма тешләгәндә

Тип тикшерүчеләр арасындагы аермалар, сез аларны җитештерү коды базасында кичергәнче академик булып күренергә мөмкин. Бизнес кушымталарында уртак үрнәкне карагыз: шартлы рәвештә урнашкан мәгълүмат структурасын башлау.

Иң куркыныч буш контейнерлар шкаф флагы түгел - алар тавышсыз тавыш белән Теләсә нинди тибы белән үтеп керәләр, бер-берсенә туры килми торган мәгълүмат тупланмыйча, түбән агым функциясе эш вакытында TypeError белән килеп чыкканга кадәр мөмкин түгел.

Конкрет мисал: финтех стартап командасы өч көн җитештерү проблемаларын чишү өчен чыгымнар турында хәбәр иттеләр , түләү эшкәртү функциясендә башланган буш исемлек, мипи тарафыннан исемлек [Теләсә нинди] дип аталган. Исемлектә валюта күләме өчен дистә объектлары булырга тиеш иде, ләкин аның урынына код юлы йөзү кыйммәтләрен өстәде. Мипиның йомшак карашы аңа тыныч кына рөхсәт итте. Хата йөзү арифметикасында түгәрәк хаталар 12000 счет-фактура партиясендә $ 0.01 туры килмәгәндә барлыкка килде. Әгәр дә алар авторлык хокукын катгый режимда кулланган булсалар, яки буш исемлекне исемлек [Дистәләр] дип аңлатсалар, хата үсеш вакытында тотылган булыр иде.