ផ្លូវទៅកាន់ការវាយអក្សរ 4 លានបន្ទាត់នៃកូដ Python ។ ផ្នែកទី 3

យើងបង្ហាញជូនអ្នកនូវផ្នែកទីបីនៃការបកប្រែសម្ភារៈអំពីផ្លូវដែល Dropbox បានយកនៅពេលអនុវត្តប្រព័ន្ធពិនិត្យប្រភេទសម្រាប់កូដ Python ។

→ ផ្នែកមុន៖ ដំបូង и ទីពីរ

ឈានដល់ 4 លានបន្ទាត់នៃកូដដែលបានវាយ

បញ្ហាប្រឈមដ៏សំខាន់មួយទៀត (និងការព្រួយបារម្ភជាទូទៅបំផុតទីពីរក្នុងចំណោមអ្នកដែលបានស្ទង់មតិផ្ទៃក្នុង) គឺការបង្កើនចំនួនកូដដែលគ្របដណ្តប់ដោយការត្រួតពិនិត្យប្រភេទនៅក្នុង Dropbox ។ យើងបានសាកល្បងវិធីសាស្រ្តជាច្រើនដើម្បីដោះស្រាយបញ្ហានេះ ចាប់ពីការបង្កើនទំហំនៃមូលដ្ឋានកូដដែលបានវាយបញ្ចូលដោយធម្មជាតិ ដល់ការផ្តោតលើកិច្ចខិតខំប្រឹងប្រែងរបស់ក្រុម mypy លើការសន្និដ្ឋានប្រភេទស្វ័យប្រវត្តិដែលឋិតិវន្ត និងថាមវន្ត។ នៅទីបញ្ចប់ វាហាក់ដូចជាមិនមានយុទ្ធសាស្ត្រឈ្នះៗសាមញ្ញទេ ប៉ុន្តែយើងអាចសម្រេចបាននូវកំណើនយ៉ាងឆាប់រហ័សនៅក្នុងបរិមាណនៃកូដចំណាប់អារម្មណ៏ដោយរួមបញ្ចូលគ្នានូវវិធីសាស្រ្តជាច្រើន។

ជាលទ្ធផល ឃ្លាំង Python ដ៏ធំបំផុតរបស់យើង (ជាមួយកូដ backend) មានកូដចំណារពន្យល់ជិត 4 លានបន្ទាត់។ ការងារលើការវាយលេខកូដឋិតិវន្តត្រូវបានបញ្ចប់ក្នុងរយៈពេលប្រហែលបីឆ្នាំ។ ឥឡូវនេះ Mypy គាំទ្រប្រភេទផ្សេងៗនៃរបាយការណ៍គ្របដណ្តប់កូដ ដែលធ្វើឱ្យវាកាន់តែងាយស្រួលក្នុងការតាមដានដំណើរការវាយអត្ថបទ។ ជាពិសេស យើងអាចបង្កើតរបាយការណ៍អំពីកូដដែលមានភាពមិនច្បាស់លាស់នៅក្នុងប្រភេទ ដូចជាឧទាហរណ៍ ការប្រើប្រាស់ជាក់លាក់នៃប្រភេទមួយ។ Any នៅ​ក្នុង​ចំណារ​ពន្យល់​ដែល​មិន​អាច​ផ្ទៀងផ្ទាត់​បាន ឬ​ជាមួយ​នឹង​អ្វីៗ​ដូចជា​ការ​នាំចូល​បណ្ណាល័យ​ភាគី​ទីបី​ដែល​មិន​មាន​ចំណារ​ពន្យល់​ប្រភេទ។ ជាផ្នែកមួយនៃគម្រោងធ្វើឱ្យប្រសើរឡើងនូវភាពត្រឹមត្រូវនៃការត្រួតពិនិត្យប្រភេទនៅក្នុង Dropbox យើងបានរួមចំណែកក្នុងការកែលម្អការកំណត់ប្រភេទ (ឯកសារដែលហៅថា stub) សម្រាប់បណ្ណាល័យប្រភពបើកចំហដ៏ពេញនិយមមួយចំនួននៅក្នុងឃ្លាំង Python កណ្តាល។ ប្រភេទ.

យើងបានអនុវត្ត (និងកំណត់ស្តង់ដារនៅក្នុង PEPs ជាបន្តបន្ទាប់) លក្ខណៈពិសេសថ្មីនៃប្រព័ន្ធប្រភេទដែលអនុញ្ញាតឱ្យមានប្រភេទច្បាស់លាស់បន្ថែមទៀតសម្រាប់គំរូ Python ជាក់លាក់មួយចំនួន។ ឧទាហរណ៍គួរឱ្យកត់សម្គាល់នៃរឿងនេះ TypeDictដែលផ្តល់ប្រភេទសម្រាប់វចនានុក្រមដូច JSON ដែលមានសំណុំសោខ្សែអក្សរថេរ ដែលនីមួយៗមានតម្លៃនៃប្រភេទរបស់វា។ យើងនឹងបន្តពង្រីកប្រព័ន្ធប្រភេទ។ ជំហានបន្ទាប់របស់យើងទំនងជានឹងធ្វើឱ្យប្រសើរឡើងនូវការគាំទ្រសម្រាប់សមត្ថភាពលេខរបស់ Python ។

ចំនួនបន្ទាត់នៃកូដចំណារពន្យល់៖ ម៉ាស៊ីនមេ

ចំនួនបន្ទាត់នៃកូដចំណារពន្យល់៖ ម៉ាស៊ីនភ្ញៀវ

ចំនួនសរុបនៃបន្ទាត់នៃកូដចំណារពន្យល់

នេះជាទិដ្ឋភាពទូទៅនៃមុខងារសំខាន់ៗដែលយើងបានធ្វើដើម្បីបង្កើនចំនួននៃកូដចំណារពន្យល់នៅក្នុង Dropbox៖

ភាពម៉ត់ចត់នៃចំណារពន្យល់។ យើង​បាន​បង្កើន​តម្រូវការ​ជា​បណ្តើរៗ​សម្រាប់​ភាព​ម៉ត់ចត់​នៃ​ការ​កត់ចំណាំ​កូដ​ថ្មី។ យើងបានចាប់ផ្តើមជាមួយនឹងគន្លឹះខ្លីៗដែលស្នើឱ្យបន្ថែមចំណារពន្យល់ទៅកាន់ឯកសារដែលមានចំណារពន្យល់មួយចំនួនរួចហើយ។ ឥឡូវនេះយើងទាមទារប្រភេទចំណារពន្យល់នៅក្នុងឯកសារ Python ថ្មី និងនៅក្នុងឯកសារដែលមានស្រាប់ភាគច្រើន។

វាយរបាយការណ៍។ យើងផ្ញើរបាយការណ៍ប្រចាំសប្តាហ៍ដល់ក្រុមអំពីកម្រិតនៃការវាយបញ្ចូលក្នុងកូដរបស់ពួកគេ និងផ្តល់ដំបូន្មានអំពីអ្វីដែលគួរកត់សំគាល់ជាមុនសិន។

ភាពល្បីល្បាញនៃ mypy ។ យើងនិយាយអំពី mypy នៅក្នុងព្រឹត្តិការណ៍នានា ហើយនិយាយទៅកាន់ក្រុមដើម្បីជួយពួកគេចាប់ផ្តើមជាមួយនឹងប្រភេទចំណារពន្យល់។

ការបោះឆ្នោត។ យើងធ្វើការស្ទង់មតិអ្នកប្រើប្រាស់តាមកាលកំណត់ដើម្បីកំណត់បញ្ហាធំៗ។ យើងត្រៀមខ្លួនរួចជាស្រេចក្នុងការដោះស្រាយបញ្ហាទាំងនេះ (សូម្បីតែបង្កើតភាសាថ្មីដើម្បីបង្កើនល្បឿន mypy!)

ការសម្តែង។ យើងបានធ្វើឱ្យប្រសើរឡើងនូវការអនុវត្តរបស់ mypy យ៉ាងខ្លាំងដោយប្រើដេមិន និង mypyc ។ នេះត្រូវបានធ្វើដើម្បីបំបាត់ភាពរអាក់រអួលដែលកើតឡើងក្នុងអំឡុងពេលដំណើរការចំណារពន្យល់ និងដើម្បីអាចធ្វើការជាមួយកូដមួយចំនួនធំ។

ការរួមបញ្ចូលជាមួយអ្នកកែសម្រួល។ យើងបានបង្កើតឧបករណ៍ដើម្បីគាំទ្រដំណើរការ mypy នៅក្នុងកម្មវិធីនិពន្ធដែលពេញនិយមនៅលើ Dropbox ។ នេះរួមបញ្ចូលទាំង PyCharm, Vim និង VS Code ។ នេះជួយសម្រួលដល់ដំណើរការកំណត់ចំណាំកូដ និងពិនិត្យមើលមុខងាររបស់វា។ ប្រភេទ​នៃ​សកម្មភាព​ទាំង​នេះ​គឺ​ជា​រឿង​ធម្មតា​នៅ​ពេល​កំណត់​ចំណាំ​កូដ​ដែល​មាន​ស្រាប់។

ការវិភាគឋិតិវន្ត។ យើងបានបង្កើតឧបករណ៍ដើម្បីសន្និដ្ឋានហត្ថលេខាមុខងារដោយប្រើឧបករណ៍វិភាគឋិតិវន្ត។ ឧបករណ៍នេះអាចដំណើរការបានតែក្នុងស្ថានភាពសាមញ្ញប៉ុណ្ណោះ ប៉ុន្តែវាជួយយើងបង្កើនការគ្របដណ្តប់ប្រភេទកូដរបស់យើងដោយមិនចាំបាច់ប្រឹងប្រែងច្រើន។

ការគាំទ្រសម្រាប់បណ្ណាល័យភាគីទីបី។ គម្រោងជាច្រើនរបស់យើងប្រើ SQLAlchemy toolkit ។ វាទាញយកអត្ថប្រយោជន៍ពីសមត្ថភាពថាមវន្តរបស់ Python ដែលប្រភេទ PEP 484 មិនអាចធ្វើគំរូដោយផ្ទាល់បានទេ។ យើងស្របតាម PEP 561 បានបង្កើតឯកសារ stub ដែលត្រូវគ្នា ហើយសរសេរកម្មវិធីជំនួយសម្រាប់ mypy (ប្រភព​បើក​ចំហ) ដែលធ្វើអោយប្រសើរឡើងនូវការគាំទ្រ SQLAlchemy ។

ការលំបាកដែលយើងជួបប្រទះ

ផ្លូវទៅកាន់ 4 លានបន្ទាត់នៃកូដដែលបានវាយមិនតែងតែងាយស្រួលសម្រាប់យើងទេ។ នៅ​លើ​ផ្លូវ​នេះ យើង​បាន​ជួប​ប្រទះ​នឹង​រន្ធ​ជាច្រើន និង​បាន​ធ្វើ​ខុស​ជា​ច្រើន​ទៀត។ ទាំងនេះគឺជាបញ្ហាមួយចំនួនដែលយើងជួបប្រទះ។ យើងសង្ឃឹមថាការប្រាប់អំពីពួកគេនឹងជួយអ្នកដទៃឱ្យជៀសផុតពីបញ្ហាស្រដៀងគ្នានេះ។

បាត់ឯកសារ។ យើងបានចាប់ផ្តើមការងាររបស់យើងដោយពិនិត្យមើលឯកសារមួយចំនួនតូចប៉ុណ្ណោះ។ អ្វី​ដែល​មិន​បាន​រួម​បញ្ចូល​ក្នុង​ឯកសារ​ទាំង​នេះ​មិន​ត្រូវ​បាន​ពិនិត្យ​ទេ។ ឯកសារ​ត្រូវ​បាន​បន្ថែម​ទៅ​ក្នុង​បញ្ជី​ស្កេន​នៅ​ពេល​ចំណារ​ពន្យល់​ដំបូង​បាន​បង្ហាញ​នៅ​ក្នុង​ពួកវា។ ប្រសិនបើមានអ្វីមួយត្រូវបាននាំចូលពីម៉ូឌុលដែលមានទីតាំងនៅខាងក្រៅវិសាលភាពនៃការផ្ទៀងផ្ទាត់នោះយើងកំពុងនិយាយអំពីការធ្វើការជាមួយតម្លៃដូចជា Anyដែលមិនត្រូវបានសាកល្បងទាល់តែសោះ។ នេះនាំឱ្យបាត់បង់ភាពត្រឹមត្រូវនៃការវាយអត្ថបទ ជាពិសេសនៅដំណាក់កាលដំបូងនៃការធ្វើចំណាកស្រុក។ វិធីសាស្រ្តនេះបានដំណើរការយ៉ាងល្អគួរឱ្យភ្ញាក់ផ្អើលរហូតមកដល់ពេលនេះ ទោះបីជាស្ថានភាពធម្មតាមួយគឺថាការបន្ថែមឯកសារទៅក្នុងវិសាលភាពនៃការពិនិត្យឡើងវិញបង្ហាញពីបញ្ហានៅក្នុងផ្នែកផ្សេងទៀតនៃមូលដ្ឋានកូដ។ ក្នុងករណីដ៏អាក្រក់បំផុត នៅពេលដែលតំបន់ដាច់ស្រយាលពីរនៃកូដត្រូវបានបញ្ចូលគ្នា ដែលក្នុងនោះដោយឯករាជ្យពីគ្នាទៅវិញទៅមក ប្រភេទត្រូវបានពិនិត្យរួចហើយ វាបានប្រែក្លាយថាប្រភេទនៃតំបន់ទាំងនេះមិនឆបគ្នាជាមួយគ្នាទៅវិញទៅមក។ នេះនាំឱ្យមានតម្រូវការដើម្បីធ្វើការផ្លាស់ប្តូរជាច្រើនចំពោះចំណារពន្យល់។ ក្រឡេកមកមើលឥឡូវនេះ យើងដឹងថាយើងគួរតែបន្ថែមម៉ូឌុលបណ្ណាល័យស្នូលទៅតំបន់ត្រួតពិនិត្យប្រភេទរបស់ mypy ឆាប់ៗនេះ។ នេះនឹងធ្វើឱ្យការងាររបស់យើងកាន់តែអាចព្យាករណ៍បាន។

សរសេរកូដចាស់។ នៅពេលយើងចាប់ផ្តើម យើងមានប្រហែល 4 លានបន្ទាត់នៃកូដ Python ដែលមានស្រាប់។ វាច្បាស់ណាស់ថាការកត់ចំណាំកូដទាំងអស់នេះមិនមែនជាកិច្ចការងាយស្រួលនោះទេ។ យើងបានបង្កើតឧបករណ៍មួយឈ្មោះថា PyAnnotate ដែលអាចប្រមូលព័ត៌មានប្រភេទនៅពេលការធ្វើតេស្តដំណើរការ និងអាចបន្ថែមប្រភេទចំណារពន្យល់ទៅកាន់កូដរបស់អ្នកដោយផ្អែកលើព័ត៌មានដែលប្រមូលបាន។ ទោះជាយ៉ាងណាក៏ដោយ យើងមិនបានកត់សម្គាល់ការអនុម័តយ៉ាងទូលំទូលាយនៃឧបករណ៍នេះទេ។ ការប្រមូលព័ត៌មានប្រភេទមានភាពយឺតយ៉ាវ ហើយការពន្យល់ដែលបានបង្កើតដោយស្វ័យប្រវត្តិជាញឹកញាប់តម្រូវឱ្យមានការកែសម្រួលដោយដៃជាច្រើន។ យើងបានគិតអំពីការដំណើរការឧបករណ៍នេះដោយស្វ័យប្រវត្តិរាល់ពេលដែលយើងពិនិត្យមើលកូដ ឬប្រមូលព័ត៌មានប្រភេទដោយផ្អែកលើការវិភាគមួយចំនួនតូចនៃសំណើបណ្តាញជាក់ស្តែង ប៉ុន្តែបានសម្រេចចិត្តមិនធ្វើទេ ដោយសារវិធីសាស្រ្តទាំងពីរនេះមានគ្រោះថ្នាក់ខ្លាំងពេក។

ជាលទ្ធផល វាអាចត្រូវបានគេកត់សម្គាល់ថាភាគច្រើននៃកូដត្រូវបានកត់ចំណាំដោយដៃដោយម្ចាស់របស់វា។ ដើម្បីដឹកនាំដំណើរការនេះក្នុងទិសដៅត្រឹមត្រូវ យើងរៀបចំរបាយការណ៍អំពីម៉ូឌុល និងមុខងារសំខាន់ៗជាពិសេសដែលត្រូវការកំណត់ចំណាំ។ ឧទាហរណ៍ វាមានសារៈសំខាន់ណាស់ក្នុងការផ្តល់នូវចំណារពន្យល់ប្រភេទសម្រាប់ម៉ូឌុលបណ្ណាល័យដែលត្រូវបានប្រើនៅក្នុងកន្លែងរាប់រយ។ ប៉ុន្តែសេវាកម្មចាស់ដែលកំពុងត្រូវបានជំនួសដោយសេវាកម្មថ្មីគឺលែងមានសារៈសំខាន់ក្នុងការចំណាំទៀតហើយ។ យើងក៏កំពុងពិសោធដោយប្រើការវិភាគឋិតិវន្ត ដើម្បីបង្កើតការពន្យល់ប្រភេទសម្រាប់កូដកេរ្តិ៍។

ការ​នាំ​ចូល​ស៊ីក្លូ។ ខាងលើ ខ្ញុំបាននិយាយអំពីការនាំចូលតាមរង្វិល ("ភាពច្របូកច្របល់") ដែលជាអត្ថិភាពដែលធ្វើអោយវាពិបាកក្នុងការបង្កើនល្បឿន mypy ។ យើងក៏ត្រូវខិតខំធ្វើឱ្យ mypy គាំទ្រសព្វនាមគ្រប់ប្រភេទ ដែលបណ្តាលមកពីការនាំចូលតាមវដ្តទាំងនេះ។ ថ្មីៗនេះ យើងបានបញ្ចប់គម្រោងរចនាប្រព័ន្ធដ៏សំខាន់ឡើងវិញ ដែលដោះស្រាយបញ្ហាភាគច្រើនរបស់ mypy ទាក់ទងនឹងការនាំចូលសារជារង្វង់។ បញ្ហាទាំងនេះពិតជាកើតចេញពីថ្ងៃដំបូងនៃគម្រោង ត្រលប់ពី Alore ដែលជាភាសាអប់រំដែលគម្រោង mypy ផ្តោតដំបូង។ វាក្យសម្ព័ន្ធ Alore ធ្វើឱ្យវាងាយស្រួលក្នុងការដោះស្រាយបញ្ហាជាមួយពាក្យបញ្ជានាំចូលតាមវដ្ត។ mypy សម័យទំនើបបានទទួលមរតកពីដែនកំណត់មួយចំនួនពីការអនុវត្តគំនិតសាមញ្ញមុនរបស់វា (ដែលសមបំផុតសម្រាប់ Alore) ។ Python ធ្វើ​ឱ្យ​ការ​ធ្វើ​ការ​ជាមួយ​នឹង​ការ​នាំ​ចូល​រាងជារង្វង់​មាន​ការ​លំបាក ជា​ចម្បង​ដោយ​សារ​ការ​បញ្ចេញ​មតិ​មិន​ច្បាស់​លាស់។ ជាឧទាហរណ៍ ប្រតិបត្តិការចាត់តាំងមួយពិតជាអាចកំណត់ឈ្មោះជំនួសប្រភេទមួយ។ Mypy មិនតែងតែអាចរកឃើញរឿងដូចនេះទេ រហូតដល់ភាគច្រើននៃរង្វិលជុំនាំចូលត្រូវបានដំណើរការ។ មិនមានភាពមិនច្បាស់លាស់បែបនេះនៅក្នុង Alore ទេ។ ការសម្រេចចិត្តមិនល្អដែលបានធ្វើឡើងនៅក្នុងដំណាក់កាលដំបូងនៃការអភិវឌ្ឍន៍ប្រព័ន្ធអាចបង្ហាញពីការភ្ញាក់ផ្អើលមិនល្អដល់អ្នកសរសេរកម្មវិធីជាច្រើនឆ្នាំក្រោយ។

លទ្ធផល៖ ផ្លូវទៅកាន់ 5 លានបន្ទាត់នៃកូដ និងជើងមេឃថ្មី។

គម្រោង mypy បានមកដល់ផ្លូវដ៏វែងឆ្ងាយ - ពីគំរូដើមដល់ប្រព័ន្ធដែលគ្រប់គ្រង 4 លានបន្ទាត់នៃប្រភេទកូដផលិតកម្ម។ នៅពេលដែល mypy មានការវិវឌ្ឍន៍ ការណែនាំអំពីប្រភេទ Python ត្រូវបានធ្វើឱ្យមានស្តង់ដារ។ សព្វថ្ងៃនេះ ប្រព័ន្ធអេកូដ៏មានឥទ្ធិពលមួយបានបង្កើតឡើងជុំវិញការវាយបញ្ចូលកូដ Python។ វាមានកន្លែងសម្រាប់ជំនួយបណ្ណាល័យ វាមានឧបករណ៍ជំនួយសម្រាប់ IDE និងអ្នកកែសម្រួល វាមានប្រព័ន្ធគ្រប់គ្រងប្រភេទជាច្រើន ដែលនីមួយៗមានគុណសម្បត្តិ និងគុណវិបត្តិរបស់វា។

ទោះបីជាការត្រួតពិនិត្យប្រភេទត្រូវបានផ្តល់ឱ្យរួចហើយនៅ Dropbox ខ្ញុំជឿថាយើងនៅតែស្ថិតក្នុងដំណាក់កាលដំបូងនៃការវាយលេខកូដ Python ។ ខ្ញុំគិតថាបច្ចេកវិទ្យាត្រួតពិនិត្យប្រភេទនឹងបន្តវិវត្ត និងកែលម្អ។

ប្រសិនបើអ្នកមិនទាន់បានប្រើការពិនិត្យមើលប្រភេទនៅក្នុងគម្រោង Python ខ្នាតធំរបស់អ្នកទេ សូមដឹងថាពេលនេះជាពេលវេលាដ៏ល្អដើម្បីចាប់ផ្តើមផ្លាស់ទីទៅការវាយអក្សរឋិតិវន្ត។ ខ្ញុំបាននិយាយជាមួយអ្នកដែលបានធ្វើការផ្លាស់ប្តូរស្រដៀងគ្នា។ គ្មាននរណាម្នាក់ក្នុងចំណោមពួកគេសោកស្តាយវាទេ។ ការត្រួតពិនិត្យប្រភេទធ្វើឱ្យ Python ក្លាយជាភាសាដែលស័ក្តិសមក្នុងការអភិវឌ្ឍន៍គម្រោងធំៗជាង "Python ធម្មតា"។

អ្នកអានជាទីស្រឡាញ់! តើអ្នកប្រើប្រភេទ checking នៅក្នុងគម្រោង Python របស់អ្នកទេ?

ប្រភព: www.habr.com