Dada ички шилтемелерди кантип иштетет

Ондогон жылдар бою системалык программалоону кыйнап келген өзүн-өзү шилтемелөө маселеси

Эгерде сиз качандыр бир убакта катуу ээлик кылуу эрежелери бар тилде графикти, эки эселенген тизмени же байкоочу үлгүсүн түзүүгө аракет кылган болсоңуз, анын азабын билесиз. Өзүн-өзү маалымдоочу маалымат структуралары - бул жерде структуранын бир бөлүгү ошол эле структуранын башка бөлүгүнө көрсөткүчтү кармап турат - коопсуз билдирүү үчүн абдан кыйын. Датты иштеп чыгуучулар муну менен бир нече жылдар бою күрөшүп, таштанды чогултулган тилдерде анча маанилүү эмес деп эсептелген үлгүлөрдү моделдөө үчүнPin, кооптуублокторду же арена бөлгүчтөрдү издеп келишкен. Dada, Niko Matsakis тарабынан түзүлгөн эксперименталдык программалоо тили, түп-тамырынан бери башкача мамиле кылат. Менчик укугун жана уруксаттарды башынан кайра карап чыгуу менен, Dada эстутумдун коопсуздугунан баш тартпастан ички шилтемелерди иштетет — жана анын кесепеттери академиялык кызыкчылыктан алда канча ашып кетет.

Ички шилтемелер деген эмне жана алар эмне үчүн маанилүү?

Ички шилтеме маалымат структурасынын ичиндеги талаа ошол эле структурадагы башка талааны көрсөткөндө пайда болот. Булак сапты да, ошол саптын кесиндисин да камтыган талдоочуну же бала виджеттеринин тизмесин жана учурда багытталган балага көрсөткүч менен сактаган UI компонентин карап көрөлү. Бул үлгүлөр реалдуу дүйнөдөгү программалык камсыздоодо дайыма пайда болот: окуя системалары, документ моделдери, конфигурация дарактары жана иш процессинин кыймылдаткычтары баары өзүнө шилтеме жасоонун кандайдыр бир формасына таянышат.

Python же JavaScript сыяктуу тилдерде таштанды чогултуу бухгалтердик эсепти көзгө көрүнбөгөндөй башкарат. Сиз маалымдаманы түзөсүз жана иштөө убактысы эстутум бир нерсе көрсөтүп турса, анын жандуу болушун камсыздайт. Бирок нөлдүк баадагы абстракцияларды жана детерминисттик ресурстарды башкарууну артыкчылыктуу тутум тилдеринде, компилятор шилтеме ал көрсөткөн маалыматтардан ашып кетпей турганына далил керек. Бул жерде иштер татаалдашат — жана ээликке негизделген тилдердин көбү иштеп чыгуучуларды ой-ниеттерин бүдөмүк кылып, тымызын мүчүлүштүктөрдү киргизген ыңгайсыз чечимдерге мажбурлайт.

Кыйынчылык жөн гана теориялык эмес. Модулдук платформаларды курган командалар — Mewayzдин артындагы 207 модулдук архитектура сыяктуу — дайыма ички шилтемелерден көз каранды. Бир эле маалымат контекстиндеги жазууларга шилтеме берүүчү CRM модулу, сап элементтерин алардын негизги документине кайра байланыштырган эсеп-фактура механизми же жалпы мамлекеттик объектинин ичиндеги жандуу маалымат агымдарын көрсөткөн аналитика тактасы: булардын бардыгы масштабда иштеген ички маалымдама үлгүсүнүн реалдуу дүйнөдөгү мисалдары.

Салттуу менчик моделдери кандайча начарлайт

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

Иштеп чыгуучулар көп учурда өз убактысынын 30-40%ын өзүнө шилтеме жасоону камтыган үлгүлөр боюнча карызды текшерүүчү менен күрөшүүгө коротушат. Арена бөлүштүрүү китепканаларыtyped-arenaжана индекске негизделген ыкмалар (мында индекстерди чыныгы шилтемелерге эмес, Vecге сактайсыз) прагматикалык, бирок жеткилең эмес чечимдер. Алар түз шилтемелердин экспрессивдүүлүгүн компилятор текшере ала турган кыйыр шилтемеге алмаштырышат, бирок алар ачык-айкындуулукту да ачыктык үчүн соодалашат.

"Эң мыкты тил өзгөчөлүгү - бул туура үлгүнү жазууга эң оңой үлгү кылуу. Иштеп чыгуучулар убактылуу чечүү жолдоруна кайрылышканда, бул тилдин модели менен алардын менталдык модели бири-биринен айырмаланып калганын билдирет." — Нико Матсакис, Дада

дын артындагы дизайн философиясы жөнүндө

Менчикке Даданын уруксатка негизделген мамилеси

Dada менчикти бинардык менчик же карыз алуу чечими катары эмес, уруксаттардын спектри катары кайра элестетет. Менчик укугун өткөрүп берүүнүн же убактылуу карыздарды түзүүнүн ордуна, Dada баалуулуктарга алар менен эмне кыла ала турганыңызды сүрөттөгөн уруксат аннотацияларын алып жүрүүгө мүмкүндүк берет — окуу, жазуу же ээлик кылуу — жана сын айтканда, бул уруксаттар бир эле маалымат түзүмүнүн кайталанган бөлүктөрүндө бирге болушу мүмкүн.

Негизги түшүнүк - бул ижара түшүнүгү. Дададагы ижара баалуулукка убактылуу мүмкүнчүлүк берет, ал эми баштапкы ээси өз укуктарын сактап калат. Rust карыздарынан айырмаланып, лизинг ички түзүлүшү менен табигый түрдө түзүлөт. Сиз түзүмдүн талаасын ижарага бергенде, Dada типтеги тутуму ижара ата-эненин өмүр бою ачык аннотацияларды талап кылбастан, камтылганын түшүнөт. Бул Rust функциясынын кол тамгаларын окууну кыйындаткан атактуу 'a өмүр бою параметр чынжырларын жок кылат.

Атайын ички шилтемелер үчүн, Дада тилде эмне деп аталат ички жолдор менен бөлүшүлгөн ижара. Түзүм өзүнүн талааларынын бирине ижарага ээ боло алат, анткени компилятор контейнер менен камтылган маалыматтардын ортосундагы мамилени биринчи класстагы түшүнүк катары көзөмөлдөйт. Пиндин кереги жок, кооптуу жана индекске негизделген кыйыр көрсөтүүнүн кереги жок. Сиз жөн гана кодду маалымат жөнүндө кандай ойлосоңуз, ошондой жазасыз жана компилятор аны текшерет.

Дадада маанисиз болуп калган практикалык үлгүлөр

Ички шилтемелер таза иштетилгенде, бир нече тарыхый татаал үлгүлөрдү ишке ашыруу оңой болуп калат. Бул өндүрүш системалары күндө жолуга турган үлгүлөр:

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

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

Программалык камсыздоонун архитектурасына кеңири таасири

Даданын ички шилтемелерге болгон мамилеси программалоо тилинин дизайнындагы чоңураак тенденцияны чагылдырат: коопсуз үлгүлөрдү мүмкүн болбой койгондон көрө, коопсуз үлгүлөрдү эргономикалык кылуу. Бул философия заманбап программалык камсыздоонун түзүлүшүнө түздөн-түз таасир этет. Тил үлгүнү оңой кылса, иштеп чыгуучулар аны колдонушат. Ал оюмду оорутканда, иштеп чыгуучулар андан качышат — кээде архитектуралык айкындуулуктун баасы менен.

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

Бул так архитектура, CRM, эсеп-фактура, эмгек акы, кадрларды башкаруу, флотту башкаруу жана аналитиканы камтыган модулдар баары бирдиктүү маалымат контекстинде иштешет. Ар бир модулда жалпы объекттерге шилтемелер - байланыштар, уюмдар, транзакциялар - ички мамилелер аркылуу, алар кызматтын чек араларында башкаруу үчүн коркунучтуу, бирок жакшы структураланган монолиттин ичинде табигый болуп саналат. Бул ички шилтемелерди жөнөкөйлөткөн тил дизайнындагы жетишкендиктер программанын бул классына түздөн-түз пайда алып келет.

Иштеп чыгуучулар эмнеге көңүл бурушу керек

Дада эксперименталдык бойдон калууда жана анын идеялары дагы эле коомдук өнүгүү жана коомчулуктун пикири аркылуу такталып жатат. Бирок, анын бир нече инновациялары негизги тил дизайнына таасир этүүдө. Rust тынымсыз ишикөрүү түрлөрүжанаpolonius(кийинки муундагы карызды текшерүүчү) ошол эле изилдөө мейкиндигинен түшүнүктөрдү алат. Swift 5.9да киргизилген Свифттин ээлик кылуу модели дагы майда уруксат системаларын изилдейт. Жада калса TypeScript'тин типтүү системасы да маалымат мамилелерин так моделдөө багытында өнүгүүсүн улантууда.

Бүгүнкү күндө өндүрүштүк программалык камсыздоону курган командалар үчүн практикалык жыйынтыктар ачык. Биринчиден, алардын ээлик модели сиздин маалымат моделиңизге дал келген тилдерди жана алкактарды жактырыңыз - тип системасы менен күрөшүү - убакыттын өтүшү менен кошулган өндүрүмдүүлүк салыгы. Экинчиден, сиздин домениңиз талап кылган үлгүлөрдү түшүнүүгө инвестиция салыңыз. Эгер колдонмоңуз түп-тамырынан бири-бири менен байланышкан объекттердин графиги болсо (көпчүлүк бизнес платформалар сыяктуу), дарак түрүндөгү убактылуу чечимдерди мажбурлоонун ордуна графиктерди табигый түрдө моделдөөчү куралдарды тандаңыз.

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

Тил теориясынан бизнес чындыгына

Программалоо тилин изилдөө бизнес жүргүзүүнүн күнүмдүк реалдуулугунан алыстай сезилиши мүмкүн. Бирок биз колдонгон шаймандар биз курган өнүмдөрдү калыптандырат, ал эми биз курган өнүмдөр бизнестин иштешин түзөт. Даданын ички маалымдама көйгөйүнө кошкон салымы жөн гана техникалык этап эмес — бул тармак аларды компилятор сыяктуу ойлонууга мажбурлабастан, иштеп чыгуучулардын маалыматтар жөнүндө чындыгында кандай ойлоорун сыйлаган куралдарга карай жылып жатканынын белгиси.

138,000ден ашуун бизнес Mewayz сыяктуу платформаларды колдонуп, өз иштерин башкаруу үчүн, бул прогресс ишенимдүү, өзгөчөлүктөргө бай жана тезирээк өнүгө турган программалык камсыздоону билдирет. Программалоо тилдеринин татаалдыктар менен иштөөсүнүн ар бир жакшыруусу, акыры, CRM, эсеп-фактура жана брондоо системаларынын чогуу иштешин каалаган акыркы колдонуучу — чакан бизнес ээси үчүн жакшы тажрыйбага айланат. Бул кынтыксыздык миңдеген жакшы моделделген ички шилтемелердин натыйжасы жана Дада сыяктуу тилдер аларды мурдагыдан да коопсуз жана оңой курууда.