Дада дотоод лавлагааг хэрхэн идэвхжүүлдэг

Системийн програмчлалыг олон арван жилийн турш зовоодог Өөртөө лавлагаатай асуудал

Хэрэв та эзэмшлийн хатуу дүрэмтэй хэлээр график, давхар холбоос бүхий жагсаалт эсвэл ажиглагчийн хэв маягийг бүтээх гэж оролдсон бол зовлонг та мэднэ. Өөрийгөө лавлах өгөгдлийн бүтэц - бүтцийн нэг хэсэг нь ижил бүтцийн нөгөө хэсэг рүү заагчийг агуулж байдаг - аюулгүйгээр илэрхийлэхэд хэцүү байдаг. Зэв хөгжүүлэгчид үүнтэй олон жилийн турш тэмцэж, Зүү, аюулгүй блок эсвэл талбайн хуваарилагчийг зөвхөн хог хаягдлаар цуглуулсан хэлээр өчүүхэн мэт санагдах хэв маягийг загварчлахын тулд ашигладаг. Нико Мацакисын бүтээсэн туршилтын програмчлалын хэл болох Дада нь огт өөр арга барилтай. Өмчлөх эрх, зөвшөөрлийг эхнээс нь дахин эргэцүүлэн бодож, Дада санах ойн аюулгүй байдлыг алдагдуулахгүйгээр дотоод лавлагааг идэвхжүүлдэг ба үр дагавар нь эрдэм шинжилгээний сониуч байдлаас хол давсан байдаг.

Дотоод лавлагаа гэж юу вэ, тэдгээр нь яагаад чухал вэ?

Өгөгдлийн бүтэц доторх талбар нь ижил бүтэц доторх өөр талбар руу чиглэх үед дотоод лавлагаа үүсдэг. Эх сурвалжийн тэмдэгт мөр болон зүсмэлийг хоёуланг нь агуулсан задлан шинжлэгч эсвэл хүүхдийн виджетүүдийн жагсаалтыг одоо анхаарч байгаа хүүхэд рүү заагчийн хамт хадгалдаг UI бүрэлдэхүүнийг авч үзье. Эдгээр загварууд нь бодит программ хангамжид байнга гарч ирдэг: үйл явдлын систем, баримт бичгийн загвар, тохиргооны мод, ажлын урсгалын хөдөлгүүрүүд бүгд өөрт хамаарах лавлагааны хэлбэрт тулгуурладаг.

Python эсвэл JavaScript зэрэг хэл дээр хог цуглуулах нь нягтлан бодох бүртгэлийг үл үзэгдэх байдлаар зохицуулдаг. Та лавлагаа үүсгэх бөгөөд ажиллах хугацаа нь санах ойг ямар нэгэн зүйл зааж өгөх үед амьд үлдэхийг баталгаажуулдаг. Гэхдээ тэг өртөгтэй хийсвэрлэл, тодорхой нөөцийн менежментийг чухалчилдаг системийн хэлүүдэд хөрвүүлэгчид лавлагаа нь зааж өгсөн өгөгдлөөсөө хэтэрч чадахгүй гэдгийг нотлох баримт хэрэгтэй. Эндээс л бүх зүйл төвөгтэй болж, ихэнх өмчлөлд суурилсан хэлүүд хөгжүүлэгчдийг зорилгыг бүрхэг болгож, нарийн алдаа гаргадаг эвгүй шийдэлд хүргэдэг.

Сорилт нь зөвхөн онолынх биш. Mewayz-ийн арын 207 модультай архитектур гэх мэт модульчлагдсан платформуудыг бүтээдэг багууд дотоод лавлагаанаас байнга хамаардаг. Ижил өгөгдлийн контекст доторх бүртгэлүүдийг лавлах CRM модуль, мөрүүдийг эх баримт бичигтэйгээ холбосон нэхэмжлэхийн систем эсвэл хуваалцсан төлөвийн объект доторх шууд өгөгдлийн урсгалыг заадаг аналитик хяналтын самбар: эдгээр нь бүгд масштабаар ажилладаг дотоод лавлагааны загварын бодит жишээнүүд юм.

Уламжлалт өмчлөлийн загварууд хэрхэн мууддаг вэ

Rust-ийн зээл шалгагч нь орчин үеийн хэлний дизайны хамгийн алдартай шинэлэг зүйлүүдийн нэг бөгөөд эмхэтгэлийн үед санах ойн алдааг бүхэлд нь арилгадаг. Гэсэн хэдий ч түүний хатуу ганц эзэмшигч, зээлэх эсвэл шилжүүлэх семантик нь дотоод лавлагааг үнэхээр зовлонтой болгодог. Бүтэцийг санах ойд шилжүүлэх агшинд дурын дотоод заагч хүчингүй болно. Rust-ийн хариулт — 1.33 хувилбарт нэвтрүүлсэн Pin API нь үнэ цэнийг хөдөлгөхгүй байх баталгаа өгөх механизмыг хангадаг ч энэ нь загварчлалын энгийн даалгавар болох нарийн төвөгтэй байдлыг давхарлан тодорхойлдог.

Хөгжүүлэгчид цаг хугацааныхаа 30-40%-ийг зээл авах шалгагчтай өөрийгөө лавласан загвар дээр зарцуулдаг гэж байнга мэдээлдэг. typed-arena гэх мэт Arena хуваарилалтын сангууд болон индекст суурилсан хандлагууд (та индексүүдийг бодит лавлагаа гэхээсээ илүү Vec дээр хадгалдаг) нь прагматик боловч төгс бус шийдэл юм. Тэд шууд лавлагааны илэрхий байдлыг хөрвүүлэгчийн баталгаажуулж чадах шууд дамжуулалтаар сольж, харин тодорхой байдлын хувьд тодорхой байдлыг солилцдог.

"Хэлний хамгийн сайн шинж чанар бол зөв хэв маягийг бичихэд хамгийн хялбар загвар болгодог онцлог юм. Хөгжүүлэгчид тойрч гарах арга замуудыг ашиглах үед энэ нь тухайн хэлний загвар болон сэтгэхүйн загвар нь зөрөөд байна гэсэн үг." — Нико Мацакис, Дадагийн цаад дизайны философийн талаар

Өмчлөхөд Дадагийн зөвшөөрөлд суурилсан хандлага

Дада өмчлөлийг хоёртын хувилбараар өмчлөх эсвэл зээлэх шийдвэр биш харин зөвшөөрлийн спектр болгон дахин төсөөлдөг. Өмчлөлийг шилжүүлэх эсвэл түр зуурын зээл үүсгэхийн оронд Дада нь утгуудыг унших, бичих эсвэл эзэмших боломжтойг тайлбарласан зөвшөөрлийн тэмдэглэгээг авч явахыг зөвшөөрдөг ба хамгийн чухал нь эдгээр зөвшөөрөл нь ижил өгөгдлийн бүтцийн давхардсан хэсгүүдэд зэрэгцэн оршиж болно.

Гол ойлголт бол түрээсийн гэсэн ойлголт юм. Дада дахь түрээс нь үнэ цэнийг түр зуур авах боломжийг олгодог бөгөөд харин анхны эзэмшигч нь эрхээ хадгалдаг. Rust-ийн зээлээс ялгаатай нь түрээс нь дотоод бүтэцтэй байхаар бүтээгдсэн байдаг. Та бүтцийн талбарыг түрээслэх үед Дадагийн төрлийн систем нь түрээсийн хугацаа нь тодорхой насан туршийн тэмдэглэгээ шаардахгүйгээр эцэг эхийн бүх насаар хязгаарлагддаг гэдгийг ойлгодог. Энэ нь Rust функцийн гарын үсгийг уншихад хэцүү болгодог 'a насан туршийн параметрийн гинжийг арилгана.

Дотоод лавлагааны хувьд Дада хэлээр дотоод замтай дундын түрээс гэж нэрлэдэг зүйлийг танилцуулж байна. Хөрвүүлэгч нь чингэлэг болон агуулагдсан өгөгдлийн хоорондын хамаарлыг нэгдүгээр зэрэглэлийн үзэл баримтлал болгон хянадаг тул бүтэц нь өөрийн талбаруудын аль нэгийг түрээслэх боломжтой. Pin шаардлагагүй, аюултай, индекст суурилсан шууд дамжуулалт шаардлагагүй. Та өгөгдлийн талаар бодож байгаа байдлаараа кодыг бичихэд л хөрвүүлэгч үүнийг баталгаажуулдаг.

Дадагийн хувьд өчүүхэн болж хувирдаг практик загварууд

Дотоод лавлагааг цэвэрхэн идэвхжүүлснээр хэд хэдэн түүхэн хэцүү загваруудыг хэрэгжүүлэхэд хялбар болдог. Эдгээр нь үйлдвэрлэлийн системд өдөр бүр тулгардаг загварууд юм:

• Өөрийгөө лавлах давталт — Насан туршийн гимнастикгүйгээр нэг бүтэц болгон хадгалсан, гаталж буй цуглуулгын лавлагаа агуулсан давталт
• Ажиглагчийн хэв маяг — Үйл явдал ялгаруулагч, өөрийн төлөвт хамаарах буцаан дуудлагын жагсаалтыг хөтөлж, Rc/RefCell ороохгүйгээр реактив програмчлалыг идэвхжүүлдэг
• Курсортой баримтын загварууд — Буфер болон түүн рүү чиглэсэн нэг буюу хэд хэдэн курсорын байрлалыг агуулсан текст засварлагчийн баримт бичгийн бүтэц
• Эцэг эх-хүүхдийн шатлал — Хүүхдүүд өөрсдийн эцэг эхийн зангилааны лавлагаатай, сул заагч эсвэл индексээр бус шууд загварчлагдсан модны бүтэц
• Төрийн машинтай ажлын урсгалын хөдөлгүүрүүд — Одоогийн үе шат, өмнөх үр дүн болон хүлээгдэж буй үйлдлүүдийг нэгтгэсэн нэг өгөгдлийн загвар дотор харуулсан дамжуулах хоолойн бүтэц

Платформын архитекторуудын хувьд эдгээр загварууд нь захын загвар биш бөгөөд модульчлагдсан програм хангамжийн үндэс суурь болдог. Mewayz-ийн инженерийн баг нь чирж буулгах ажлын урсгалыг бүтээгчид эсвэл төслийн удирдлагын модульд бодит цагийн хамтын ажиллагаа зэрэг функцуудыг бий болгох үед үндсэн өгөгдлийн загварууд нь өөрөө лавлагаа бүтэцтэй байх нь гарцаагүй. Эдгээр хэв маягийг зохицуулдаг хэл, хүрээ нь хөгжүүлэлтийн хугацааг маш сайн багасгаж, алдааны гадаргуугийн талбайг багасгадаг.

Програм хангамжийн архитектурт үзүүлэх өргөн хүрээний нөлөө

Дадагийн дотоод лавлагаанд хандах хандлага нь програмчлалын хэлний дизайны томоохон чиг хандлагыг харуулж байна: аюулгүй хэв маягийг боломжгүй болгохын оронд аюулгүй хэв маягийг эргономик болгох. Энэхүү философи нь орчин үеийн программ хангамжийг хэрхэн зохион бүтээхэд шууд нөлөөлдөг. Хэл хэв маягийг хялбар болгоход хөгжүүлэгчид үүнийг ашигладаг. Энэ нь хэв маягийг зовиуртай болгоход хөгжүүлэгчид үүнээс зайлсхийдэг - заримдаа архитектурын тодорхой байдлын зардлаар.

Модульчлагдсан цул мэтгэлцээний эсрэг микро үйлчилгээг авч үзье. Багууд системүүдийг салангид үйлчилгээ болгон задалдаг нэг шалтгаан нь нэг процессийн хүрээнд хуваалцсан төлөвийг удирдах төвөгтэй байдлаас зайлсхийх явдал юм. Гэвч хэрэв хэл нь хуваалцсан төлөвийн хэв маягийг аюулгүй, унших боломжтой болговол эрт задралын аргумент суларч байна. Багууд 50, 100, бүр 207 хоорондоо холбогдсон модуль бүхий нэгдмэл, модульчлагдсан системүүдийг байрлуулж болохуйц нэг нэгж дотор байгуулж, тараасан системийн үйл ажиллагааны нэмэлт зардалгүйгээр модульчлэлийн байгууллагын үр ашгийг хүртэх боломжтой.

Энэ бол CRM, нэхэмжлэх, цалингийн бүртгэл, хүний нөөц, флотын удирдлага, аналитик зэрэг модулиуд бүгд нэгдсэн өгөгдлийн хүрээнд ажилладаг Mewayz гэх мэт платформуудыг хүчирхэгжүүлдэг архитектур юм. Модуль бүр нь үйлчилгээний хил хязгаарыг даван туулахад хар дарсан зүүд мэт боловч сайн зохион байгуулалттай цул дотор байдаг дотоод харилцаа холбоо, байгууллага, гүйлгээ гэх мэт хуваалцсан байгууллагуудыг иш татдаг. Эдгээр дотоод лавлагааг хялбаршуулсан хэлний дизайны дэвшил нь энэ ангиллын програм хангамжид шууд тустай.

Хөгжүүлэгчид юу анхаарах ёстой вэ

Дада туршилтын шинж чанартай хэвээр байгаа бөгөөд олон нийтийн хөгжил, олон нийтийн санал хүсэлтээр дамжуулан түүний санааг боловсронгуй болгосоор байна. Гэсэн хэдий ч түүний хэд хэдэн шинэлэг зүйл нь хэлний ерөнхий загварт аль хэдийн нөлөөлж байна. Rust-ийн харах төрлүүд болон polonius (дараагийн үеийн зээл авах шалгагч) дээр хийж буй ажил нь ижил судалгааны орон зайгаас ухагдахуунуудыг зээлж авдаг. Swift 5.9-д танилцуулсан Свифтийн эзэмшлийн загвар нь мөн адил илүү нарийн зөвшөөрлийн системийг судалдаг. TypeScript-ийн төрлийн систем хүртэл өгөгдлийн харилцааг илүү нарийвчлалтай загварчлах чиглэлд үргэлжлүүлэн хөгжиж байна.

Өнөөдөр үйлдвэрлэлийн программ хангамжийг бүтээж буй багуудын хувьд практик үр дүн нь тодорхой байна. Нэгдүгээрт, өөрийн өмчлөлийн загвараа өөрийн өгөгдлийн загвартай нийцүүлэх хэл, хүрээг дэмжээрэй - төрлийн системтэй тэмцэх нь цаг хугацааны явцад нэмэгддэг бүтээмжийн татвар юм. Хоёрдугаарт, таны домэйнд шаардагдах хэв маягийг ойлгоход хөрөнгө оруулалт хий. Хэрэв таны аппликейшн нь үндсэндээ харилцан уялдаатай байгууллагуудын график юм бол (ихэнх бизнесийн платформууд шиг) мод хэлбэртэй тойрч гарах арга замыг албадахын оронд графикийг загварчлах хэрэгслүүдийг сонго.

Эцэст нь Дада болон түүний төлөөлдөг судалгааг ажиглаарай. Түүний шийддэг асуудлууд - дотоод лавлагаа, зөвшөөрлийн бүтэц, эргономикийн аюулгүй байдал - энэ нь чухал асуудал биш юм. Эдгээр нь амбицтай, харилцан уялдаатай програм хангамжийг өргөн хүрээнд бүтээхэд баг бүр тулгардаг бэрхшээлүүд юм. Та хүргэх тээврийн хэрэгслийн флотыг удирдаж байгаа, олон шат дамжлагатай ажилд авах шугамыг зохион байгуулж байгаа эсвэл 207 модуль бүхий бизнесийн платформ дээр өгөгдлийг синхрончилж байгаа эсэхээс үл хамааран таны хэрэгслүүдийн дотоод харилцааг зохицуулах арга зам нь таны бүтээсэн бүх зүйлийн чанарыг тодорхойлдог.

Хэлний онолоос бизнесийн бодит байдал руу

Програмчлалын хэлний судалгаа нь бизнес эрхлэх өдөр тутмын бодит байдлаас хол санагдаж болно. Гэвч бидний хэрэглэж буй багаж хэрэгсэл нь бидний үйлдвэрлэж буй бүтээгдэхүүн, бүтээж буй бүтээгдэхүүн нь бизнесийн үйл ажиллагааг тодорхойлдог. Дадагийн дотоод лавлагааны асуудалд оруулсан хувь нэмэр нь зөвхөн техникийн чухал үе шат биш бөгөөд энэ нь салбар хөгжүүлэгчдийг хөрвүүлэгч шиг бодохыг албадахын оронд өгөгдлийн талаар хэрхэн боддогийг хүндэтгэдэг хэрэгсэл рүү шилжиж байгаагийн дохио юм.

Үйл ажиллагаагаа удирдахын тулд Mewayz гэх мэт платформ ашигладаг 138,000 гаруй бизнесийн хувьд энэхүү дэвшил нь илүү найдвартай, илүү онцлог шинж чанартай, хурдан хөгжих боломжтой программ хангамж гэсэн үг юм. Програмчлалын хэлүүд нарийн төвөгтэй байдлыг хэрхэн зохицуулж байгаа сайжруулалт бүр эцэст нь CRM, нэхэмжлэх, захиалгын системээ хамтран ажиллахыг хүсдэг жижиг бизнес эрхлэгчдэд илүү сайн туршлага болж хувирдаг. Энэхүү жигд бус байдал нь мянга мянган сайн загварчилсан дотоод лавлагааны бүтээгдэхүүн бөгөөд Дада зэрэг хэл нь тэдгээрийг урьд өмнөхөөсөө илүү аюулгүй, бүтээхэд хялбар болгож байна.