Jinsi Dada Huwasha Marejeleo ya Ndani

Tatizo la Kujirejelea Ambalo Limekuwa na Upangaji wa Mifumo kwa Miongo kadhaa

Ikiwa umewahi kujaribu kuunda grafu, orodha iliyounganishwa mara mbili, au mchoro wa mwangalizi katika lugha yenye sheria kali za umiliki, unajua uchungu wake. Miundo ya data inayojielekezea - ​​ambapo sehemu moja ya muundo inashikilia kielekezi kwa sehemu nyingine ya muundo sawa - ni ngumu sana kuelezea kwa usalama. Wasanidi wa kutu wameshindana na hili kwa miaka mingi, wakifikia vizuizi vya Pini, zisizo salama, au vigawanyaji vya uwanja ili tu kuiga ruwaza zinazohisi kuwa ndogo katika lugha zilizokusanywa na takataka. Dada, lugha ya programu ya majaribio iliyoundwa na Niko Matsakis, inachukua mbinu tofauti kabisa. Kwa kufikiria upya umiliki na ruhusa kuanzia mwanzo hadi mwisho, Dada huwezesha marejeleo ya ndani bila kuacha usalama wa kumbukumbu - na madokezo hufikia mbali zaidi ya udadisi wa kitaaluma.

Marejeleo ya Ndani ni yapi na kwa nini yana umuhimu?

Marejeleo ya ndani hutokea wakati sehemu iliyo ndani ya muundo wa data inapoelekeza kwenye sehemu nyingine ndani ya muundo huo. Fikiria kichanganuzi ambacho kinashikilia kamba chanzo na kipande kwenye mfuatano huo, au kijenzi cha UI ambacho huhifadhi orodha ya wijeti za watoto pamoja na kielekezi kwa mtoto anayelengwa kwa sasa. Mifumo hii huonekana mara kwa mara katika programu za ulimwengu halisi: mifumo ya matukio, miundo ya hati, miti ya usanidi, na injini za mtiririko wa kazi zote zinategemea aina fulani ya marejeleo binafsi.

Katika lugha kama vile Python au JavaScript, ukusanyaji wa takataka hushughulikia uwekaji hesabu kwa njia isiyoonekana. Unaunda marejeleo, na wakati wa kukimbia unahakikisha kumbukumbu inabaki hai mradi tu kitu kinaelekeza. Lakini katika lugha za mifumo ambayo hutanguliza uondoaji wa gharama sifuri na usimamizi wa rasilimali bainifu, mkusanyaji anahitaji uthibitisho kwamba marejeleo hayataishi kwa muda mrefu kuliko data inayoelekeza. Hapa ndipo mambo yanakuwa magumu - na ambapo lugha nyingi zinazotegemea umiliki huwalazimisha wasanidi programu kufanya kazi ngumu ambazo huficha dhamira na kuanzisha hitilafu fiche.

Changamoto si ya kinadharia tu. Timu zinazounda majukwaa ya kawaida - kama vile usanifu wa moduli 207 nyuma ya Mewayz - hutegemea marejeleo ya ndani kila mara. Rekodi za sehemu ya CRM zinazorejelea ndani ya muktadha sawa wa data, injini ya ankara inayounganisha vipengee vya laini kurudi kwenye hati yao kuu, au dashibodi ya uchanganuzi inayoelekeza kwenye mitiririko ya data ya moja kwa moja ndani ya kipengele cha hali iliyoshirikiwa: yote haya ni matukio ya ulimwengu halisi ya muundo wa marejeleo ya ndani unaofanya kazi kwa kiwango kikubwa.

Jinsi Miundo ya Kimila ya Umiliki Inavyopungua

Kikagua kukopa cha Rust ni mojawapo ya ubunifu unaoadhimishwa zaidi katika muundo wa lugha ya kisasa, ukiondoa kategoria zote za hitilafu za kumbukumbu wakati wa kukusanya. Bado semantiki zake kali za mmiliki mmoja, kukopa-au-hamisha hufanya marejeleo ya ndani kuwa chungu kweli. Mara tu muundo unapohamishwa kwenye kumbukumbu, kielekezi chochote cha ndani kinakuwa batili. Jibu la Rust - Pin API iliyoletwa katika toleo la 1.33 - hutoa utaratibu wa kuhakikisha thamani haitasonga, lakini inaweka utata kwenye kile kinachopaswa kuwa kazi ya moja kwa moja ya uundaji.

Wasanidi programu huripoti mara kwa mara wakitumia 30-40% ya muda wao kupambana na kikagua kukopa kwenye ruwaza zinazohusisha marejeleo binafsi. Maktaba za ugawaji wa uwanja kama uwanja uliochapwa na mbinu kulingana na faharasa (ambapo unahifadhi fahirisi kwenye Vec badala ya marejeleo halisi) ni suluhu za kisayansi lakini zisizo kamilifu. Wanabadilisha uwazi wa marejeleo ya moja kwa moja kwa mwelekeo usio na mwelekeo ambao mkusanyaji anaweza kuthibitisha, lakini pia wanabadilisha uwazi kwa sahani za boiler.

"Kipengele bora cha lugha ni kile kinachofanya mchoro sahihi kuwa mchoro rahisi zaidi kuandika. Wasanidi wanapoamua kutatua, inamaanisha kuwa muundo wa lugha na muundo wao wa kiakili umetofautiana." — Niko Matsakis, juu ya falsafa ya kubuni nyuma ya Dada

Njia ya Umiliki Kulingana na Ruhusa ya Dada

Dada hufikiria upya umiliki si kama uamuzi wa kumiliki au kukopa bali kama wigo wa ruhusa. Badala ya kuhamisha umiliki au kuunda mikopo ya muda, Dada huruhusu thamani kubeba vidokezo vya ruhusa vinavyoelezea unachoweza kufanya nazo - kusoma, kuandika au kumiliki - na kwa umakini, ruhusa hizi zinaweza kuwepo kwa sehemu zinazopishana za muundo sawa wa data.

Maarifa muhimu ni dhana ya ukodishaji. Ukodishaji katika Dada hutoa ufikiaji wa muda kwa thamani huku mmiliki asili akihifadhi haki zake. Tofauti na kukopa kutu, ukodishaji umeundwa kutunga asili na muundo wa ndani. Unapokodisha sehemu ya muundo, mfumo wa aina ya Dada unaelewa kuwa ukodishaji umewekwa kwa muda wote wa maisha ya mzazi bila kuhitaji ufafanuzi wa maisha yote. Hii huondoa misururu ya vigezo vya maisha machafu ya 'a ambayo hufanya sahihi za utendaji wa Rust kuwa ngumu kusomeka.

Kwa marejeleo ya ndani hasa, Dada anatanguliza kile ambacho lugha inakiita ukodishaji ulioshirikiwa na njia za ndani. Muundo unaweza kushikilia ukodishaji kwa mojawapo ya sehemu zake kwa sababu mkusanyaji hufuatilia uhusiano kati ya chombo na data iliyomo kama dhana ya daraja la kwanza. Hakuna haja ya Pin, hakuna haja ya kutokuwa salama, na hakuna haja ya mwelekeo wa msingi wa index. Unaandika tu msimbo jinsi unavyofikiria kuhusu data, na mkusanyaji huithibitisha.

Miundo Vitendo Ambayo Inakuwa Nyepesi katika Dada

Marejeleo ya ndani yakiwashwa kwa njia safi, mifumo kadhaa migumu ya kihistoria huwa rahisi kutekelezwa. Hizi ni mifumo ambayo mifumo ya uzalishaji hukutana nayo kila siku:

• Warudiaji wa kujirejelea — Kirudishi kinachoshikilia marejeleo ya mkusanyiko unaopitia, kilichohifadhiwa kama muundo mmoja, bila mazoezi ya viungo maishani
• Mifumo ya waangalizi — Mtumaji wa tukio ambaye hudumisha orodha ya simu zinazopigiwa simu zinazorejelea hali yake, kuwezesha uwekaji programu tendaji bila vifungashio vya Rc/RefCell
• Miundo ya hati iliyo na vielekezi — Muundo wa hati ya kihariri maandishi iliyo na bafa na nafasi moja au zaidi ya kishale inayoelekeza ndani yake
• Daraja za mzazi na mtoto — Miundo ya miti ambapo watoto hushikilia marejeleo ya nodi za wazazi, zikiundwa moja kwa moja badala ya kupitia vielelezo dhaifu au fahirisi
• Injini za mtiririko wa kazi zilizo na mashine za serikali — Muundo wa bomba unaorejelea hatua yake ya sasa, matokeo ya awali, na vitendo vinavyosubiri, vyote ndani ya muundo mmoja wa data shirikishi

Kwa wasanifu wa majukwaa, ruwaza hizi si kisanii - ndio uti wa mgongo wa programu za moduli. Timu ya wahandisi ya Mewayz inapounda vipengele kama vile vijenzi vya mtiririko wa kazi ya kuvuta-dondosha au ushirikiano wa wakati halisi katika moduli yake ya usimamizi wa mradi, miundo msingi ya data bila shaka inahusisha miundo inayojitambulisha. Lugha na mifumo ambayo inashughulikia ruwaza hizi kwa uzuri hupunguza muda wa ukuzaji na kupunguza eneo la eneo la hitilafu.

Athari Pana zaidi kwenye Usanifu wa Programu

Mtazamo wa Dada kwa marejeleo ya ndani huakisi mwelekeo mkubwa zaidi katika muundo wa lugha ya programu: kufanya mifumo salama kuwa ya hali ya juu badala ya kufanya mifumo isiyo salama isiwezekane. Falsafa hii ina matokeo ya moja kwa moja kwa jinsi programu ya kisasa inavyoundwa. Lugha inaporahisisha mchoro, watengenezaji huitumia. Inapofanya muundo kuwa chungu, wasanidi huepuka - wakati mwingine kwa gharama ya uwazi wa usanifu.

Zingatia huduma ndogo dhidi ya mjadala wa kawaida wa monolith. Sababu moja ya timu kuvunja mifumo katika huduma tofauti ni kuepuka utata wa kudhibiti hali ya pamoja ndani ya mchakato mmoja. Lakini ikiwa lugha itafanya mifumo ya hali ya pamoja kuwa salama na kusomeka, hoja ya mtengano wa mapema hudhoofika. Timu zinaweza kuunda mifumo shirikishi, ya moduli - yenye moduli 50, 100, au hata 207 zilizounganishwa - ndani ya kitengo kimoja kinachoweza kutekelezwa, kufikia manufaa ya shirika ya ustaarabu bila uendeshaji wa mifumo iliyosambazwa.

Huu ndio usanifu haswa unaotumia mifumo kama Mewayz, ambapo sehemu zinazotumia CRM, ankara, malipo, HR, usimamizi wa meli na uchanganuzi zote hufanya kazi ndani ya muktadha wa data uliounganishwa. Kila sehemu inarejelea huluki zilizoshirikiwa - wasiliani, mashirika, miamala - kupitia mahusiano ya ndani ambayo yatakuwa mabaya kudhibiti mipaka ya huduma lakini ni ya asili ndani ya monolith iliyopangwa vizuri. Maendeleo katika muundo wa lugha ambayo hurahisisha marejeleo haya ya ndani hunufaisha moja kwa moja aina hii ya programu.

Nini Wasanidi Wanafaa Kutazama

Dada inaendelea kuwa ya majaribio, na mawazo yake bado yanaboreshwa kupitia maendeleo ya umma na maoni ya jumuiya. Walakini, ubunifu wake kadhaa tayari unaathiri muundo wa lugha kuu. Kazi inayoendelea ya Rust kuhusu aina za kutazamwa na polonius (kikagua kukopa cha kizazi kijacho) hukopa dhana kutoka kwa nafasi sawa ya utafiti. Mfano wa umiliki wa Swift, ulioletwa katika Swift 5.9, vile vile huchunguza mifumo ya ruhusa ya punjepunje. Hata mfumo wa aina ya TypeScript unaendelea kubadilika kuelekea uundaji sahihi zaidi wa uhusiano wa data.

Kwa timu zinazounda programu ya uzalishaji leo, vidokezo vya vitendo viko wazi. Kwanza, pendelea lugha na mifumo ambayo inalinganisha muundo wao wa umiliki na muundo wa data yako - kupambana na aina ya mfumo ni kodi ya tija ambayo huchanganyika baada ya muda. Pili, wekeza katika kuelewa mifumo inayohitaji kikoa chako. Ikiwa programu yako kimsingi ni mchoro wa huluki zilizounganishwa (kama majukwaa mengi ya biashara yalivyo), chagua zana zinazoiga grafu kiasili badala ya kulazimisha suluhisho zenye umbo la mti.

Mwishowe, endelea kufuatilia Dada na utafiti anaowakilisha. Matatizo yanayosuluhisha - marejeleo ya ndani, utungaji wa ruhusa, usalama wa ergonomic - sio wasiwasi wa niche. Ni matatizo haswa ambayo kila timu hukutana nayo wakati wa kuunda programu kabambe, iliyounganishwa kwa kiwango. Iwe unasimamia kundi la magari ya kusafirisha mizigo, kuandaa bomba la ukodishaji wa hatua nyingi, au kusawazisha data kwenye jukwaa la biashara la moduli 207, jinsi zana zako zinavyoshughulikia mahusiano ya ndani huchangia ubora wa kila kitu unachounda juu yake.

Kutoka Nadharia ya Lugha hadi Uhalisia wa Biashara

Utafiti wa lugha ya programu unaweza kuhisi mbali na uhalisia wa kila siku wa kuendesha biashara. Lakini zana tunazotumia zinaunda bidhaa tunazounda, na bidhaa tunazounda hutengeneza jinsi biashara inavyofanya kazi. Mchango wa Dada kwa tatizo la marejeleo ya ndani sio tu hatua muhimu ya kiufundi - ni ishara kwamba tasnia inaelekea kwenye zana zinazoheshimu jinsi wasanidi wanavyofikiria haswa kuhusu data, badala ya kuwalazimisha kufikiria kama mkusanyaji.

Kwa biashara 138,000+ zinazotumia mifumo kama vile Mewayz kudhibiti shughuli zao, maendeleo haya yanamaanisha programu inayotegemewa zaidi, yenye vipengele vingi na inayoweza kubadilika haraka zaidi. Kila uboreshaji katika jinsi lugha za programu hushughulikia utata hutafsiri, hatimaye, kuwa matumizi bora zaidi kwa mtumiaji wa mwisho - mmiliki wa biashara ndogo ambaye anataka tu mifumo yake ya CRM, ankara na kuhifadhi ifanye kazi pamoja bila mshono. Utovu huo umetokana na maelfu ya marejeleo ya ndani yaliyoigwa vyema, na lugha kama vile Dada inazifanya kuwa salama na rahisi kuzijenga kuliko hapo awali.