Kuinka Dada ottaa käyttöön sisäiset viittaukset

Itseviittausongelma, joka on vaivannut järjestelmäohjelmointia vuosikymmeniä

Jos olet joskus yrittänyt rakentaa kaaviota, kaksoislinkitettyä luetteloa tai tarkkailijakuviota kielellä, jolla on tiukat omistajuussäännöt, tiedät tuskan. Itseviittaavat tietorakenteet – joissa rakenteen yksi osa sisältää osoittimen saman rakenteen toiseen osaan – on tunnetusti vaikeaa ilmaista turvallisesti. Ruostekehittäjät ovat painineet tämän asian kanssa vuosia ja pyrkineet etsimään Pin-, vaarallisia-paloja tai areenan allokaattoreita vain mallintaakseen malleja, jotka tuntuvat triviaaleilta roskiksellisilla kielillä. Dada, Niko Matsakisin luoma kokeellinen ohjelmointikieli, ottaa täysin erilaisen lähestymistavan. Ajattelemalla omistajuutta ja käyttöoikeuksia alusta alkaen Dada mahdollistaa sisäiset viittaukset muistin turvallisuudesta tinkimättä – ja vaikutukset ulottuvat paljon akateemisen uteliaisuuden ulkopuolelle.

Mitä sisäiset viittaukset ovat ja miksi niillä on merkitystä?

Sisäinen viittaus syntyy, kun tietorakenteen sisällä oleva kenttä osoittaa toiseen kenttään samassa rakenteessa. Harkitse jäsentäjää, joka sisältää sekä lähdemerkkijonon että osion kyseisestä merkkijonosta, tai käyttöliittymäkomponenttia, joka tallentaa luettelon alatason widgeteistä sekä osoittimen tällä hetkellä kohdistettuun lapsiin. Nämä mallit näkyvät jatkuvasti tosielämän ohjelmistoissa: tapahtumajärjestelmät, asiakirjamallit, määrityspuut ja työnkulkumoottorit ovat kaikki riippuvaisia jonkinlaisesta itseviittauksesta.

Pythonin tai JavaScriptin kaltaisilla kielillä roskienkeräys hoitaa kirjanpidon näkymättömästi. Luot viitteen, ja suoritusaika varmistaa, että muisti pysyy hengissä niin kauan kuin jokin viittaa siihen. Mutta järjestelmäkielissä, jotka priorisoivat nollakustannusten abstraktioita ja determinististä resurssienhallintaa, kääntäjä tarvitsee todisteen siitä, että viittaus ei ylitä sen osoittamaa dataa. Täällä asiat monimutkaistuvat – ja useimmat omistajuuteen perustuvat kielet pakottavat kehittäjät käyttämään hankalia kiertotapoja, jotka hämärtävät tarkoituksen ja tuovat mukanaan hienovaraisia virheitä.

Haaste ei ole pelkästään teoreettinen. Modulaarisia alustoja rakentavat tiimit – kuten Mewayzin takana oleva 207 moduulin arkkitehtuuri – ovat jatkuvasti riippuvaisia ​​sisäisistä referensseistä. CRM-moduuli, joka viittaa tietueisiin samassa tietokontekstissa, laskutusmoottori, joka linkittää rivikohdat takaisin niiden pääasiakirjaan, tai analytiikan hallintapaneeli, joka osoittaa reaaliaikaisiin tietovirtoihin jaetussa tilaobjektissa: kaikki nämä ovat mittakaavassa toimivan sisäisen viitemallin todellisia esiintymiä.

Kuinka perinteiset omistusmallit epäonnistuvat

Rustin lainatarkistus on yksi tunnetuimmista innovaatioista modernissa kielisuunnittelussa, ja se eliminoi kokonaisia muistivirheluokkia käännösvaiheessa. Silti sen tiukka yhden omistajan, lainaa tai siirrä -semantiikka tekee sisäisistä viittauksista todella tuskallisia. Kun rakennetta siirretään muistissa, mikä tahansa sisäinen osoitin ei kelpaa. Rustin vastaus – versiossa 1.33 esitelty Pin-sovellusliittymä tarjoaa mekanismin, jolla varmistetaan, että arvo ei liiku, mutta se lisää monimutkaisuutta sen päälle, minkä pitäisi olla suoraviivainen mallinnustehtävä.

Kehittäjät raportoivat usein käyttävänsä 30–40 % ajastaan taistelekseen lainantarkistajaa vastaan ​​malleihin, joihin liittyy itseviittauksia. Areenan allokointikirjastot, kuten typed-arena ja indeksipohjaiset lähestymistavat (jossa indeksit tallennetaan Vec-kirjaimeen todellisten viitteiden sijaan), ovat käytännöllisiä mutta epätäydellisiä ratkaisuja. He vaihtavat suorien viittausten ilmaisukyvyn epäsuoraan, jonka kääntäjä voi tarkistaa, mutta he vaihtavat myös selvyyden tiivistelevyyn.

"Paras kieliominaisuus on sellainen, joka tekee oikean mallin kirjoittamisesta helpoimmin. Kun kehittäjät turvautuvat kiertotapaan, se tarkoittaa, että kielen malli ja heidän henkinen mallinsa ovat eronneet." — Niko Matsakis Dadan taustalla olevasta suunnittelufilosofiasta

Dadan lupaperusteinen lähestymistapa omistukseen

Dada kuvittelee omistajuuden uudelleen binaarisena oma- tai lainapäätöksenä, vaan käyttöoikeuksien kirjona. Omistuksen siirtämisen tai väliaikaisten lainausten luomisen sijaan Dada sallii arvojen kuljettaa käyttöoikeusmerkintöjä, jotka kuvaavat, mitä voit tehdä niillä – lukea, kirjoittaa tai omistaa – ja kriittisen tärkeänä, nämä luvat voivat olla rinnakkain saman tietorakenteen päällekkäisissä osissa.

Tärkein oivallus on vuokrasopimusten käsite. Dadan vuokrasopimus antaa tilapäisen pääsyn arvoon, kun alkuperäinen omistaja säilyttää oikeutensa. Toisin kuin Rust lainat, vuokrasopimukset on suunniteltu koostumaan luonnollisesti sisäisellä rakenteella. Kun vuokraat rakenteen kentän, Dadan tyyppijärjestelmä ymmärtää, että vuokrasopimus koskee ylätason elinikää ilman, että vaaditaan eksplisiittisiä käyttöiän merkintöjä. Tämä eliminoi surullisen kuuluisat 'a elinikäiset parametriketjut, jotka tekevät Rust-funktioiden allekirjoituksista vaikeasti luettavia.

Erityisesti sisäisiä viitteitä varten Dada esittelee kielellä kutsutut jaetut vuokrasopimukset sisäpoluilla. Rakenteella voi olla vuokrasopimus johonkin omaan kenttään, koska kääntäjä seuraa säilön ja sen sisältämän tiedon välistä suhdetta ensiluokkaisena käsitteenä. Pin-koodia ei tarvita, unsafe-koodia ei tarvita eikä indeksipohjaista epäsuoraa ohjausta tarvita. Kirjoitat vain koodin tavalla, jolla ajattelet tiedoista, ja kääntäjä varmistaa sen.

Käytännölliset mallit, joista tulee triviaaleja Dadassa

Kun sisäiset viittaukset on otettu käyttöön puhtaasti, useat historiallisesti vaikeat mallit on helppo toteuttaa. Nämä ovat malleja, joita tuotantojärjestelmät kohtaavat päivittäin:

• itseviittaavat iteraattorit – iteraattori, joka sisältää viittauksen kokoelmaan, jonka se kulkee, tallennettuna yhtenä rakenteena ilman elinikäistä voimistelua.
• Havaintomallit – Tapahtuman lähettäjä, joka ylläpitää luetteloa takaisinkutsuista, jotka viittaavat sen omaan tilaan ja mahdollistavat reaktiivisen ohjelmoinnin ilman Rc/RefCell-kääreitä.
• Osoittimilla varustetut asiakirjamallit – Tekstieditorin dokumenttirakenne, joka sisältää sekä puskurin että yhden tai useamman siihen osoittavan kohdistimen paikan
• Vanhempi-lapsi-hierarkiat – Puurakenteet, joissa lapsilla on viittauksia yläsolmuunsa mallinnettuina suoraan eikä heikkojen osoittimien tai indeksien avulla.
• Työkulkumoottorit tilakoneilla – liukuhihnarakenne, joka viittaa nykyiseen vaiheeseensa, aikaisempiin tuloksiinsa ja odottaviin toimiin yhdessä yhtenäisessä tietomallissa

Alustaarkkitehtien kohdalla nämä mallit eivät ole reunatapauksia, vaan ne ovat modulaaristen ohjelmistojen selkäranka. Kun Mewayzin suunnittelutiimi rakentaa ominaisuuksia, kuten vedä ja pudota työnkulun rakentajia tai reaaliaikaista yhteistyötä projektinhallintamoduulissaan, taustalla olevat tietomallit sisältävät väistämättä itseviittausrakenteita. Näitä malleja käsittelevät kielet ja kehykset lyhentävät kehitysaikaa sulavasti ja vähentävät virheiden pinta-alaa.

Laajempi vaikutus ohjelmistoarkkitehtuuriin

Dadan lähestymistapa sisäisiin viittauksiin kuvastaa laajempaa suuntausta ohjelmointikielen suunnittelussa: turvallisten kuvioiden tekeminen ergonomisiksi sen sijaan, että vaarallisista kuvioista tehdään mahdottomaksi. Tällä filosofialla on suorat seuraukset nykyaikaisten ohjelmistojen suunnitteluun. Kun kieli tekee mallista helpon, kehittäjät käyttävät sitä. Kun se tekee kuviosta tuskallisen, kehittäjät välttävät sitä – joskus arkkitehtonisen selkeyden kustannuksella.

Ajattele mikropalveluiden ja modulaarisen monoliitin välistä keskustelua. Yksi syy, miksi tiimit jakavat järjestelmät erillisiin palveluihin, on välttää jaetun tilan hallinnan monimutkaisuus yhdessä prosessissa. Mutta jos kieli tekee jaetun tilan kuvioista turvallisia ja luettavia, argumentti ennenaikaisen hajoamisen puolesta heikkenee. Tiimit voivat rakentaa yhtenäisiä, modulaarisia järjestelmiä – 50, 100 tai jopa 207 toisiinsa yhdistetyllä moduulilla – yhdessä käyttöön otettavassa yksikössä, mikä saavuttaa modulaarisuuden organisatoriset edut ilman hajautettujen järjestelmien käyttökustannuksia.

Juuri tämä arkkitehtuuri toimii Mewayzin kaltaisissa alustoissa, joissa CRM:n, laskutuksen, palkanlaskennan, HR:n, kalustonhallinnan ja analytiikan moduulit toimivat kaikki yhtenäisessä tietokontekstissa. Jokainen moduuli viittaa jaettuihin kokonaisuuksiin – kontakteihin, organisaatioihin, tapahtumiin – sisäisten suhteiden kautta, joita olisi painajaismaista hallita palvelurajojen yli, mutta jotka ovat luonnollisia hyvin jäsennellyssä monoliitissa. Kielisuunnittelun edistysaskel, joka yksinkertaistaa näitä sisäisiä viittauksia, hyödyttää suoraan tätä ohjelmistoluokkaa.

Mihin kehittäjien tulee kiinnittää huomiota

Dada on edelleen kokeellinen, ja sen ideoita jalostetaan edelleen julkisen kehityksen ja yhteisön palautteen avulla. Useat sen innovaatiot vaikuttavat kuitenkin jo valtavirran kielisuunnitteluun. Rustin meneillään oleva näkymätyyppien ja polonius (seuraavan sukupolven lainatarkistus) -työ lainaa käsitteitä samasta tutkimustilasta. Swiftin omistusmalli, joka esiteltiin Swift 5.9:ssä, tutkii samoin yksityiskohtaisempia lupajärjestelmiä. Jopa TypeScriptin tyyppijärjestelmä kehittyy edelleen kohti datasuhteiden tarkempaa mallintamista.

Tiimeille, jotka rakentavat tuotantoohjelmistoja tänään, käytännön takeet ovat selvät. Ensinnäkin suosi kieliä ja kehyksiä, jotka linjaavat omistajuusmallinsa tietomallisi kanssa – tyyppijärjestelmän torjunta on tuottavuusvero, joka kasvaa ajan myötä. Toiseksi investoi verkkotunnuksesi edellyttämien mallien ymmärtämiseen. Jos sovelluksesi on pohjimmiltaan toisiinsa yhdistettyjen kokonaisuuksien kaavio (kuten useimmat yritysympäristöt), valitse työkaluja, jotka mallintavat kaavioita luonnollisesti sen sijaan, että pakottaisit puun muotoisia kiertotapoja.

Pidä lopuksi silmällä Dadaa ja sen edustamaa tutkimusta. Sen ratkaisemat ongelmat – sisäiset viittaukset, lupien koostumus, ergonominen turvallisuus – eivät ole niche-huoleja. Ne ovat juuri niitä ongelmia, joita jokainen tiimi kohtaa rakentaessaan kunnianhimoisia, toisiinsa yhdistettyjä ohjelmistoja mittakaavassa. Hallitsetpa toimitusajoneuvoja, organisoitpa monivaiheista rekrytointiprosessia tai synkronoit tietoja 207-moduulin yritysalustan välillä, työkalusi käsittelevät sisäisiä suhteita muokkaavat kaiken niiden päälle rakentamasi laadun.

Kieliteoriasta liiketodellisuuteen

Ohjelmointikielen tutkimus voi tuntua etäiseltä yrityksen päivittäisestä todellisuudesta. Mutta käyttämämme työkalut muokkaavat rakentamiamme tuotteita, ja rakentamamme tuotteet muokkaavat yritysten toimintaa. Dadan panos sisäiseen viiteongelmaan ei ole vain tekninen virstanpylväs – se on merkki siitä, että ala on siirtymässä kohti työkaluja, jotka kunnioittavat sitä, miten kehittäjät todella ajattelevat datasta, sen sijaan, että heidät pakotettaisiin ajattelemaan kuin kääntäjä.

Yli 138 000 yritystä, jotka käyttävät Mewayzin kaltaisia alustoja toimintojensa hallintaan, tämä kehitys tarkoittaa ohjelmistoja, jotka ovat luotettavampia, monipuolisempia ja kehittyvät nopeammin. Jokainen parannus ohjelmointikielten monimutkaisuuden käsittelyyn johtaa lopulta paremmaksi kokemukseksi loppukäyttäjälle – pienyrityksen omistajalle, joka haluaa vain CRM-, laskutus- ja varausjärjestelmiensä toimivan saumattomasti yhdessä. Tämä saumattomuus on tulosta tuhansista hyvin mallinnetuista sisäisistä viittauksista, ja Dadan kaltaiset kielet tekevät niistä turvallisempia ja helpompia rakentaa kuin koskaan ennen.

Usein kysytyt kysymykset

Mikä tarkalleen on "itseviittausongelma"?

Itseviittausongelma ilmenee, kun tietorakenne sisältää viittauksen itseensä, kuten kaavion solmu, joka osoittaa toiseen solmuun samassa rakenteessa. Kielissä, joilla on tiukat omistussäännöt, kuten Rust, tämä aiheuttaa ristiriitaa: kielen turvallisuustakuut eivät voi helposti määrittää, kestääkö viittaus sen osoittaman datan kauemmin. Tämä tekee näennäisesti yksinkertaisista kuvioista, jotka ovat yleisiä Mewayzin 207+ moduuleissa, yllättävän vaikeita ja vaarallisia toteuttaa.

Miten Dada ratkaisee tämän ongelman eri tavalla kuin Rust?

Vaikka Rust vaatii usein monimutkaisia ​​kiertotapoja, kuten Pin- tai turvaton-koodi, voidakseen käsitellä itseviittauksia, Dada leikkaa ratkaisun suoraan omistajamalliinsa. Dada esittelee käsitteen "vuokrasopimukset", jotka ovat tilapäisiä, lupaperusteisia viittauksia. Näin kääntäjä voi taata staattisesti sisäisten osoittimien turvallisuuden tarvitsematta erikoistyyppejä tai rikkomatta muistin turvallisuutta, mikä tekee siitä huomattavasti ergonomisemman näille yleisille kuvioille.

Voinko käyttää Dadaa projekteihini tänään?

Dada on tällä hetkellä kokeellinen kieli, eikä se ole vielä valmis tuotantokäyttöön. Se on tutkimusprojekti, jossa tutkitaan uusia omistajuuden ideoita. Kestävässä, tuotantovalmiissa järjestelmien ohjelmoinnissa Rust on edelleen johtava valinta. Korkeamman tason sovellusten tarpeisiin Mewayzin kaltainen palvelu (19 dollaria/kk) tarjoaa laajan kirjaston valmiita moduuleja, jotka nopeuttavat kehitystä ilman, että sinun tarvitsee kamppailla vähäisten muistiongelmien kanssa.

Onko Dadan lähestymistavalla rajoituksia?

Dadan vuokrausjärjestelmä on suunniteltu tietyn luokan ongelmiin, joihin liittyy sisäisiä viittauksia yhdessä omistajuuspuussa. Vaikka se ratkaisee tyylikkäästi paradigmaattisen kaavion ja havainnointikuvion ongelmat, se ei välttämättä ole hopea luoti kaikissa monimutkaisissa osoitinskenaarioissa. Mallia kehitetään edelleen, ja sen täydet ominaisuudet ja rajoitukset selkiytyvät kielen kehittyessä.