Mar a tha Dada a’ comasachadh iomraidhean taobh a-staigh

An duilgheadas fèin-iomraidh a tha air dragh a chuir air prògramadh shiostaman airson deicheadan

Ma dh’ fheuch thu a-riamh ri graf, liosta le dà cheangal no pàtran neach-amhairc a thogail ann an cànan le riaghailtean teann seilbh, tha fios agad air a’ phian. Tha e gu math duilich structaran dàta fèin-iomraidh - far a bheil aon phàirt de structar a’ cumail inneal-stiùiridh gu pàirt eile den aon structar - a chuir an cèill gu sàbhailte. Tha luchd-leasachaidh meirge air a bhith a’ strì ri seo airson bhliadhnaichean, a’ ruighinn airson blocaichean Pin, mì-shàbhailte, no luchd-riarachaidh raon dìreach airson modaladh a dhèanamh air pàtrain a tha a’ faireachdainn caran ann an cànanan a chruinnich sgudal. Tha dòigh-obrach gu tur eadar-dhealaichte aig Dada, an cànan prògramadh deuchainneach a chruthaich Niko Matsakis. Le bhith ag ath-bheachdachadh air seilbh agus cead bhon talamh suas, tha Dada a’ comasachadh iomraidhean a-staigh gun a bhith ag ìobairt sàbhailteachd cuimhne - agus tha a’ bhuaidh a’ ruighinn fada seachad air feòrachas acadaimigeach.

Dè a th’ ann an iomraidhean air an taobh a-staigh agus carson a tha iad cudromach?

Bidh iomradh a-staigh a’ tachairt nuair a tha raon taobh a-staigh structar dàta a’ comharrachadh raon eile san structar aon. Beachdaich air parser anns a bheil an dà chuid sreang stòr agus sliseag a-steach don t-sreang sin, no pàirt UI a bhios a’ stòradh liosta de widgets cloinne còmhla ri comharraiche don leanabh le fòcas an-dràsta. Bidh na pàtrain sin a’ nochdadh an-còmhnaidh ann am bathar-bog san t-saoghal fhìor: tha siostaman tachartais, modalan sgrìobhainnean, craobhan rèiteachaidh, agus einnseanan sruth-obrach uile an urra ri seòrsa air choreigin de fhèin-iomradh.

Ann an cànanan mar Python no JavaScript, bidh cruinneachadh sgudail a’ làimhseachadh a’ ghleidhidh gu neo-fhaicsinneach. Bidh thu a’ cruthachadh an iomradh, agus bidh an ùine ruith a’ dèanamh cinnteach gum fuirich cuimhne beò fhad ‘s a tha rudeigin a’ comharrachadh. Ach ann an cànanan siostaman a tha a’ toirt prìomhachas do ghearraidhean cosgais neoni agus riaghladh ghoireasan cinntiche, feumaidh an neach-cruinneachaidh dearbhadh nach bi an t-iomradh a’ dol thairis air an dàta a tha e a’ comharrachadh. Seo far a bheil cùisean a’ fàs toinnte - agus far am bi a’ mhòr-chuid de chànanan a tha stèidhichte air seilbh a’ toirt air luchd-leasachaidh a dhol a-steach gu raointean obrach neònach a tha a’ falach rùn agus a’ toirt a-steach mialan seòlta.

Chan e dìreach teòiridheach a tha san dùbhlan. Bidh sgiobaidhean a bhios a’ togail àrd-ùrlaran modular - mar an ailtireachd 207-modal air cùl Mewayz - an urra ri iomraidhean taobh a-staigh an-còmhnaidh. Modal CRM a’ toirt iomradh air clàran taobh a-staigh an aon cho-theacs dàta, einnsean fàirdeal a’ ceangal nithean loidhne air ais ris an sgrìobhainn phàrant aca, no deas-bhòrd anailis a’ comharrachadh sruthan dàta beò taobh a-staigh nì stàite co-roinnte: tha iad sin uile nan eisimpleirean fìor san t-saoghal den phàtran fiosrachaidh a-staigh ag obair aig sgèile.

Mar a tha Modalan Seilbh Traidiseanta a’ tuiteam goirid

Is e inneal sgrùdaidh iasad Rust aon de na h-innleachdan as cliùitiche ann an dealbhadh chànanan an latha an-diugh, a’ cur às do roinnean iomlan de bhiteagan cuimhne aig àm cruinneachaidh. Ach tha an semantics teann aon-neach-seilbh aige, iasad-no-gluasaid a’ fàgail iomraidhean taobh a-staigh gu math pianail. Cho luath ‘s a thèid structar a ghluasad mar chuimhne, bidh comharraiche taobh a-staigh sam bith neo-dhligheach. Tha freagairt Rust - an Pin API a chaidh a thoirt a-steach ann an dreach 1.33 - a’ toirt seachad dòigh gus dèanamh cinnteach nach gluais luach, ach tha e a’ cur iom-fhillteachd air rud a bu chòir a bhith na ghnìomh modaladh sìmplidh.

Gu tric bidh luchd-leasachaidh ag aithris gu bheil iad a’ cosg 30-40% den ùine aca a’ sabaid ri neach-dearbhaidh an iasaid air pàtrain a’ toirt a-steach fèin-iomradh. Tha leabharlannan riarachadh Arena mar typed-arena agus dòighean-obrach stèidhichte air clàr-amais (far a bheil thu a’ stòradh chlàran-amais ann an Vec seach fìor iomraidhean) nam fuasglaidhean pragmatach ach neo-fhoirfe. Bidh iad a’ malairt cho soilleir ‘s a tha iomraidhean dìreach airson neo-stiùiridh a dh’ fhaodas an neach-cruinneachaidh a dhearbhadh, ach bidh iad cuideachd a’ malairt soilleireachd airson clàr-goileadair.

"'S e am feart cànain as fheàrr aon a nì am pàtran ceart mar am pàtran as fhasa a sgrìobhadh. Nuair a bhios luchd-leasachaidh a' cleachdadh fhuasglaidhean obrach, tha e a' ciallachadh gu bheil modal a' chànain agus am modal inntinn air a dhol eadar-dhealaichte." - Niko Matsakis, air an fheallsanachd dealbhaidh air cùl Dada

Dòigh-obrach Stèidhichte air Cead Dada a thaobh Seilbh

Tha Dada ag ath-aithris sealbh chan ann mar cho-dhùnadh dàna fhèin no iasad ach mar speactram de cheadan. An àite a bhith a’ gluasad seilbh no a’ cruthachadh iasadan sealach, leigidh Dada le luachan notaichean cead a ghiùlan a mhìnicheas dè as urrainn dhut a dhèanamh leotha - leughadh, sgrìobhadh no sealbhachadh - agus gu deatamach, faodaidh na ceadan sin a bhith còmhla ri pàirtean a tha a’ dol thairis air pàirtean den aon structar dàta.

Is e am prìomh shealladh am bun-bheachd air leasan. Tha aonta-màil ann an Dada a’ toirt cothrom sealach air luach fhad ‘s a chumas an sealbhadair tùsail a chòraichean. Eu-coltach ri iasadan Rust, tha cùmhnantan-màil air an dealbhadh gus a bhith a 'dèanamh suas gu nàdarra le structar a-staigh. Nuair a bheir thu air màl raon de structar, tha siostam seòrsa Dada a’ tuigsinn gu bheil am màl air a leudachadh gu beatha a’ phàrant gun a bhith feumach air notaichean fad-beatha soilleir. Tha seo a’ cur às do na slabhraidhean paramadair fad-beatha ’a mì-chliùiteach a tha ga dhèanamh duilich ainmean-sgrìobhte gnìomh Rust a leughadh.

Airson iomraidhean bhon taobh a-staigh gu sònraichte, tha Dada a’ toirt a-steach na tha an cànan ag ràdh màl co-roinnte le slighean a-staigh. Faodaidh structar aonta-màil a chumail ri aon de na raointean aige fhèin leis gu bheil an neach-cruinneachaidh a’ cumail sùil air a’ cheangal eadar an soitheach agus an dàta a tha ann mar bhun-bheachd den chiad ìre. Chan eil feum air Pin, chan eil feum air mì-shàbhailte, agus chan eil feum air neo-stiùireadh stèidhichte air clàr-amais. Bidh thu dìreach a’ sgrìobhadh a’ chòd mar a smaoinicheas tu air an dàta, agus bidh an compileadair ga dhearbhadh.

Pàtranan practaigeach a dh’fhàsas beag ann an Dada

Le iomraidhean taobh a-staigh air an comasachadh gu glan, bidh grunn phàtranan a tha doirbh gu h-eachdraidheil a’ fàs furasta an cur an gnìomh. Is iad sin pàtrain a bhios siostaman toraidh a’ tighinn tarsainn gach latha:

• Iterators fèin-iomraidh - Iterator aig a bheil iomradh air a’ chruinneachadh air an tèid e tarsainn, air a stòradh mar aon structar, às aonais lùth-chleasachd fad-beatha
• Pàtrain luchd-amhairc - Sgaoileadh tachartais a chumas liosta de dh’ fhiosan air ais a’ toirt iomradh air a staid fhèin, a’ comasachadh prògramadh ath-ghnìomhach às aonais pasgain Rc/RefCell
• Modail sgrìobhainnean le cursors - Structar sgrìobhainn neach-deasachaidh teacsa anns a bheil an dà chuid am bufair agus aon ionad cùrsair no barrachd a’ comharrachadh a-steach ann
• Àrd-inbhe pàrant-chloinne - Structaran chraobhan far a bheil clann a’ cumail iomradh air an nód pàrant aca, air a mhodaladh gu dìreach seach tro chomharran no clàran-amais lag
• Einnseanan sruth-obrach le innealan stàite - Structar loidhne-phìoban a bheir iomradh air an ìre làithreach aige, toraidhean roimhe, agus gnìomhan ri thighinn uile taobh a-staigh aon mhodail dàta co-leanailteach

Do ailtirean àrd-ùrlair, chan e cùisean iomaill a th’ anns na pàtrain sin - is iad cnàimh-droma bathar-bog modular. Nuair a bhios sgioba innleadaireachd Mewayz a’ togail feartan leithid luchd-togail sruth-obrach slaodadh is leigeil às no co-obrachadh fìor-ùine anns a’ mhodal riaghlaidh pròiseict aca, tha e do-sheachanta gu bheil na modalan dàta bunaiteach a’ toirt a-steach structaran fèin-iomraidh. Bidh cànanan agus frèaman a làimhsicheas na pàtrain sin gu gràsmhor a’ lughdachadh ùine leasachaidh agus a’ lughdachadh farsaingeachd uachdar nam mialan.

A’ bhuaidh nas fharsainge air ailtireachd bathar-bog

Tha dòigh-obrach Dada a thaobh iomraidhean taobh a-staigh a’ nochdadh gluasad nas motha ann an dealbhadh cànan prògramadh: a’ dèanamh phàtranan sàbhailte ergonomic seach a bhith a’ dèanamh pàtrain neo-shàbhailte do-dhèanta. Tha buaidh dhìreach aig an fheallsanachd seo air mar a tha bathar-bog ùr-nodha air a dhealbhadh. Nuair a nì cànan pàtran furasta, bidh luchd-leasachaidh ga chleachdadh. Nuair a nì e pàtran goirt, bidh luchd-leasachaidh ga sheachnadh - uaireannan aig cosgais soilleireachd ailtireil.

Beachdaich air an deasbad mu mhicro-sheirbheisean an aghaidh modular monolith. Is e aon adhbhar gum bi sgiobaidhean a’ briseadh shiostaman gu seirbheisean fa-leth gus a bhith a’ seachnadh iom-fhillteachd riaghladh stàite co-roinnte taobh a-staigh aon phròiseas. Ach ma nì an cànan pàtrain stàite co-roinnte sàbhailte agus furasta a leughadh, bidh an argamaid airson lobhadh ro-luath a’ lagachadh. Faodaidh sgiobaidhean siostaman co-leanailteach, modular a thogail - le 50, 100, no eadhon modalan eadar-cheangailte 207 - taobh a-staigh aon aonad a ghabhas cleachdadh, a’ coileanadh buannachdan eagrachail modularity às aonais cosgais obrachaidh nan siostaman sgaoilte.

Is e seo dìreach an ailtireachd a tha a’ toirt cumhachd do àrd-ùrlaran leithid Mewayz, far a bheil modalan a’ spangachadh CRM, fàirdeal, pàigheadh, HR, riaghladh cabhlach, agus anailisean uile ag obair taobh a-staigh co-theacs dàta aonaichte. Bidh gach modal a’ toirt iomradh air buidhnean co-roinnte - fiosan, buidhnean, gnothaichean - tro dhàimhean taobh a-staigh a bhiodh trom le bhith a’ riaghladh thairis air crìochan seirbheis ach a tha nàdarra taobh a-staigh monolith le deagh structar. Tha adhartasan ann an dealbhadh cànain a nì sìmplidh air na h-iomraidhean taobh a-staigh seo na bhuannachd dhìreach don chlas seo de bhathar-bog.

Dè bu chòir do luchd-leasachaidh a bhith a’ coimhead air a shon

Tha Dada fhathast deuchainneach, agus tha na beachdan aige fhathast gan ùrachadh tro leasachadh poblach agus fios air ais bhon choimhearsnachd. Ach, tha grunn de na h-innleachdan aige mu thràth a’ toirt buaidh air dealbhadh cànain prìomh-shruthach. Tha obair leantainneach Rust air seòrsaichean seallaidh agus polonius (neach-dearbhaidh iasad an ath ghinealach) a’ faighinn iasad de bhun-bheachdan bhon aon àite rannsachaidh. Tha modail seilbh Swift, a chaidh a thoirt a-steach ann an Swift 5.9, mar an ceudna a’ sgrùdadh barrachd shiostaman cead granular. Tha eadhon siostam seòrsa TypeScript a’ leantainn air adhart a’ fàs a dh’ionnsaigh modaladh nas mionaidiche air dàimhean dàta.

Do sgiobaidhean a tha a’ togail bathar-bog cinneasachaidh an-diugh, tha na dòighean-bìdh practaigeach soilleir. An toiseach, fàbhar cànanan agus frèaman a tha a 'co-thaobhadh am modail seilbh leis a' mhodail dàta agad - tha a bhith a 'sabaid an t-seòrsa siostam na chìs cinneasachd a tha a' fàs nas miosa thar ùine. San dàrna h-àite, tasgadh ann a bhith a’ tuigsinn nam pàtranan a tha a dhìth air an àrainn agad. Mas e graf de bhuidhnean eadar-cheangailte a th’ anns an tagradh agad gu bunaiteach (mar a tha a’ mhòr-chuid de àrd-ùrlaran gnìomhachais), tagh innealan a bhios a’ dèanamh mhodalan de ghrafaichean gu nàdarra seach a bhith a’ toirt air slighean-obrach cumadh craoibhe.

Mu dheireadh, cùm sùil air Dada agus an rannsachadh a tha e a’ riochdachadh. Chan eil na duilgheadasan a dh’ fhuasglas e - iomraidhean a-staigh, sgrìobhadh cead, sàbhailteachd ergonomic - nan draghan sònraichte. Is iad sin na dearbh dhuilgheadasan a choinnicheas a h-uile sgioba nuair a bhios iad a’ togail bathar-bog àrd-amasach, eadar-cheangailte aig sgèile. Co-dhiù a tha thu a’ stiùireadh cabhlach de charbadan lìbhrigidh, a’ cur loidhne-phìoban fastaidh ioma-cheum air dòigh, no a’ sioncronadh dàta thairis air àrd-ùrlar gnìomhachais 207-modal, bidh an dòigh anns a làimhsicheas na h-innealan agad dàimhean a-staigh a’ cumadh càileachd a h-uile rud a thogas tu orra.

Bho Teòiridh Cànain gu Gnìomhachas Fìrinn

Faodaidh prògramadh rannsachadh cànain a bhith a’ faireachdainn fada bhon fhìrinn làitheil a thaobh ruith gnìomhachas. Ach tha na h-innealan a bhios sinn a’ cleachdadh a’ cumadh nam bathar a thogas sinn, agus na toraidhean a thogas sinn a’ cumadh mar a bhios gnìomhachasan ag obair. Chan e dìreach clach-mhìle theicnigeach a th’ anns na chuir Dada ris an duilgheadas iomraidh a-staigh - tha e na chomharra gu bheil an gnìomhachas a’ gluasad a dh’ ionnsaigh innealan a bheir spèis do mar a bhios luchd-leasachaidh a’ smaoineachadh air dàta, seach a bhith a’ toirt orra smaoineachadh mar neach-cruinneachaidh.

Do na 138,000+ gnìomhachas a tha a’ cleachdadh àrd-ùrlaran leithid Mewayz gus an gnìomhachd a riaghladh, tha an adhartas seo a’ ciallachadh bathar-bog a tha nas earbsaiche, nas beairtiche le feartan, agus nas luaithe ri thighinn air adhart. Bidh a h-uile leasachadh air mar a bhios cànanan prògramaidh a’ làimhseachadh iom-fhillteachd ag eadar-theangachadh, aig a’ cheann thall, gu bhith na eòlas nas fheàrr don neach-cleachdaidh deireannach - sealbhadair a ’ghnìomhachais bhig a tha dìreach ag iarraidh gum bi an CRM, fàirdeal agus siostaman glèidhidh aca ag obair còmhla gun fhiosta. Tha an dealachadh sin mar thoradh air mìltean de dh’ iomraidhean air an taobh a-staigh air an deagh mhodail, agus tha cànanan mar Dada gan dèanamh nas sàbhailte agus nas fhasa a thogail na bha a-riamh roimhe.

Ceistean Bitheanta

Dè dìreach an "duilgheadas fèin-iomraidh"?

Thachair an duilgheadas fèin-iomraidh nuair a bhios structar dàta a’ toirt iomradh air fhèin, mar nód ann an graf a’ comharrachadh nód eile san aon structar. Ann an cànanan le riaghailtean teann seilbh leithid Rust, tha seo a’ cruthachadh còmhstri: chan urrainn dha barrantasan sàbhailteachd a’ chànain dearbhadh gu furasta am bi an t-iomradh a’ dol thairis air an dàta a tha e a’ comharrachadh. Tha seo a’ fàgail phàtranan a tha coltach gu sìmplidh, a tha cumanta ann am modalan 207+ Mewayz, gu h-iongantach duilich agus mì-shàbhailte a chur an gnìomh.

Ciamar a tha Dada a’ fuasgladh na trioblaid seo ann an dòigh eadar-dhealaichte bho Rust?

Ged a bhios Rust gu tric a’ cur feum air dòighean-obrach iom-fhillte leithid Pin no neo-shàbhailte gus fèin-iomraidhean a làimhseachadh, bidh Dada a’ fuine fuasgladh dìreach dhan mhodail seilbh aige. Tha Dada a 'toirt a-steach bun-bheachd "màil," a tha nan iomraidhean sealach, stèidhichte air cead. Leigidh seo leis an neach-cruinneachaidh gealltanas statach a thoirt do shàbhailteachd comharran a-staigh gun a bhith feumach air seòrsachan sònraichte no a bhith a’ briseadh sàbhailteachd cuimhne, ga dhèanamh fada nas ergonomic airson na pàtrain cumanta sin.

Am faod mi Dada a chleachdadh airson na pròiseactan agam an-diugh?

’S e cànan deuchainneach a th’ ann an Dada an-dràsta agus chan eil e deiseil airson a chleachdadh fhathast. Is e pròiseact rannsachaidh a th’ ann a tha a’ sgrùdadh bheachdan ùra ann an seilbh. Airson prògramadh siostaman làidir, deiseil airson cinneasachadh, is e Rust am prìomh roghainn fhathast. Airson feumalachdan tagraidh aig ìre nas àirde, tha seirbheis mar Mewayz ($ 19/mo) a’ toirt seachad leabharlann mòr de mhodalan ro-thogte gus leasachadh a luathachadh gun a bhith a’ dol an sàs ann an draghan cuimhne aig ìre ìosal.

A bheil crìochan sam bith aig dòigh-obrach Dada?

Tha siostam màil Dada air a dhealbhadh airson seòrsa sònraichte de dhuilgheadasan co-cheangailte ri iomraidhean taobh a-staigh aon chraobh seilbh. Ged a tha e gu snasail a’ fuasgladh a’ ghraf paradigmatic agus cùisean pàtran luchd-amhairc, is dòcha nach e peilear airgid a th’ ann airson a h-uile suidheachadh iom-fhillte. Tha am modail fhathast ga leasachadh, agus fàsaidh a làn chomasan agus a chuingealachaidhean nas soilleire mar a thig an cànan air adhart.