Како Дада овозможува внатрешни референци

Автореферентниот проблем што го прогонува програмирањето на системи со децении

Ако некогаш сте се обиделе да изградите график, двојно поврзана листа или шема на набљудувач на јазик со строги правила за сопственост, знаете колку е болката. Самореферентните структури на податоци - каде што еден дел од структурата држи покажувач кон друг дел од истата структура - е познато дека е тешко да се изразат безбедно. Програмерите на Rust се борат со ова со години, посегнувајќи по Pin, небезбедни блокови или распределувачи на арената само за да моделираат обрасци што се чувствуваат тривијално на јазиците собрани со ѓубре. Дада, експерименталниот програмски јазик создаден од Нико Мацакис, има фундаментално поинаков пристап. Со преиспитување на сопственоста и дозволите од темел, Дада овозможува внатрешни референци без да се жртвува безбедноста на меморијата - а импликациите достигнуваат далеку од академската љубопитност.

Што се внатрешните референци и зошто се важни?

Внатрешна референца се јавува кога поле во структура на податоци покажува на друго поле во структурата иста. Размислете за парсер кој содржи и изворна низа и парче во таа низа, или компонента на корисничкиот интерфејс што складира листа на детски графички контроли заедно со покажувач кон моментално фокусираното дете. Овие обрасци постојано се појавуваат во софтверот од реалниот свет: системите за настани, моделите на документи, дрвјата за конфигурација и моторите на работниот тек се потпираат на некоја форма на самореференца.

На јазици како Python или JavaScript, собирањето ѓубре невидливо се справува со книговодството. Вие ја креирате референцата, а времето на работа гарантира дека меморијата останува жива сè додека нешто укажува на неа. Но, во системските јазици кои даваат приоритет на апстракции со нула трошоци и детерминистичко управување со ресурсите, на компајлерот му треба доказ дека референцата нема да ги надживее податоците на кои укажува. Ова е местото каде што работите се комплицираат - и каде што повеќето јазици засновани на сопственост ги принудуваат програмерите на незгодни решенија што ја прикриваат намерата и воведуваат суптилни грешки.

Предизвикот не е само теоретски. Тимовите кои градат модуларни платформи - како архитектурата со 207 модули зад Mewayz - постојано зависат од внатрешните референци. CRM-модул кој упатува на записи во истиот контекст на податоци, мотор за фактурирање што ги поврзува ставките од линијата назад со нивниот матичен документ или контролна табла за аналитика што укажува на преноси на податоци во живо во рамките на споделена состојба: сите овие се примери од реалниот свет на внатрешната референтна шема која работи на размер.

Како паѓаат традиционалните модели на сопственост

Проверката на заеми на Rust е една од најпознатите иновации во дизајнот на модерниот јазик, елиминирајќи цели категории на грешки во меморијата при компајлирање. Сепак, нејзината строга семантика на еден сопственик, позајмува или премести ги прави внатрешните референци навистина болни. Во моментот кога структурата се преместува во меморијата, секој внатрешен покажувач станува неважечки. Одговорот на Rust - Pin API воведен во верзијата 1.33 - обезбедува механизам со кој се гарантира дека вредноста нема да се помести, но ја поставува сложеноста на она што треба да биде јасна задача за моделирање.

Програмерите често пријавуваат дека трошат 30-40% од своето време борејќи се со проверката на позајмици на модели кои вклучуваат самореференца. Библиотеките за распределба на арената, како што се typed-arena и пристапите базирани на индекси (каде што ги зачувувате индексите во Vec наместо вистински референци) се прагматични, но несовршени решенија. Тие ја заменуваат експресивноста на директните референци за индиректни што може да ги потврди компајлерот, но тие исто така ја заменуваат јасноста со котел.

„Најдобрата јазична карактеристика е онаа што прави точниот модел најлесен за пишување. Кога програмерите прибегнуваат кон заобиколување, тоа значи дека моделот на јазикот и нивниот ментален модел се разделиле. — Нико Мацакис, за дизајнерската филозофија зад Дада

Пристап за сопственост врз основа на дозвола на Дада

Дада повторно ја замислува сопственоста не како бинарна одлука за поседување или позајмување, туку како спектар на дозволи. Наместо да ја пренесе сопственоста или да создава привремени заеми, Дада дозволува вредностите да носат прибелешки за дозволи кои опишуваат што можете да правите со нив - читајте, пишувате или поседувате - и критички, овие дозволи може да коегзистираат на преклопувачки делови од истата структура на податоци.

Клучниот увид е концептот на закуп. Закупот во Дада дава привремен пристап до вредност додека оригиналниот сопственик ги задржува своите права. За разлика од Rust позајмиците, договорите за закуп се дизајнирани да се составуваат природно со внатрешна структура. Кога изнајмувате поле од структура, типовиот систем на Дада разбира дека закупот е опфатен до животниот век на родителот без да бара експлицитни доживотни прибелешки. Ова ги елиминира злогласните синџири на параметри за животен век на 'a што го отежнуваат читањето на потписите на функцијата Rust.

Конкретно за внатрешни референци, Дада го воведува она што јазикот го нарекува заеднички закуп со внатрешни патеки. Структурата може да држи закуп на едно од своите полиња бидејќи компајлерот ја следи врската помеѓу контејнерот и содржаните податоци како концепт од прва класа. Нема потреба од Пин, нема потреба од небезбедни и нема потреба од индиректирање базирано на индекси. Вие едноставно го пишувате кодот на начинот на кој размислувате за податоците, а компајлерот го потврдува.

Практични обрасци што стануваат тривијални во Дада

Со чисто овозможени внатрешни референци, неколку историски тешки обрасци стануваат едноставни за имплементација. Ова се модели со кои се среќаваат производствените системи секојдневно:

• Самореферентни итератори — Итератор што има референца за збирката што ја минува, складирана како една структура, без доживотна гимнастика
• Шаблони на набљудувачи — Емитер на настани што одржува листа на повратни повици што упатуваат на сопствената состојба, овозможувајќи реактивно програмирање без обвивки Rc/RefCell
• Модели на документи со курсори — Структура на документ на уредувач на текст што ги содржи и тампонот и една или повеќе позиции на курсорот што се насочени во него
• Хиерархии родител-дете — Структури на дрво каде што децата имаат референци за нивниот родителски јазол, моделирани директно наместо преку слаби покажувачи или индекси
• Мотори на работниот тек со државни машини — Структура на цевковод што ја референцира нејзината моментална фаза, претходните резултати и активностите што чекаат, сите во рамките на еден кохезивен модел на податоци

За архитектите на платформи, овие обрасци не се рабови - тие се столбот на модуларниот софтвер. Кога инженерскиот тим на Mewayz гради карактеристики како што се создавачи на работни текови со влечење и спуштање или соработка во реално време во својот модул за управување со проекти, основните модели на податоци неизбежно вклучуваат самореферентни структури. Јазиците и рамки што се справуваат со овие шеми благодатно го намалуваат времето за развој и ја минимизираат површината за грешки.

Пошироко влијание врз софтверската архитектура

Пристапот на Дада кон внатрешните референци одразува поголем тренд во дизајнот на програмскиот јазик: безбедните обрасци да се направат ергономски наместо да се оневозможат небезбедните обрасци. Оваа филозофија има директни последици за тоа како е архитектиран модерниот софтвер. Кога јазикот го олеснува моделот, програмерите го користат. Кога прави шема болна, програмерите ја избегнуваат - понекогаш по цена на архитектонска јасност.

Размислете за дебатата за микроуслуги наспроти модуларен монолит. Една од причините зошто тимовите ги разделуваат системите на посебни услуги е да ја избегнат сложеноста на управувањето со споделената состојба во рамките на еден процес. Но, ако јазикот ги прави обрасците за споделени состојби безбедни и читливи, аргументот за предвремено распаѓање слабее. Тимовите можат да градат кохезивни, модуларни системи - со 50, 100, па дури и 207 меѓусебно поврзани модули - во рамките на една распоредлива единица, постигнувајќи ги организациските придобивки од модуларноста без оперативните трошоци на дистрибуираните системи.

Тоа е токму архитектурата што ги напојува платформите како Mewayz, каде што модулите што опфаќаат CRM, фактурирање, платен список, човечки ресурси, управување со флота и аналитика функционираат во унифициран контекст на податоци. Секој модул упатува на споделени ентитети - контакти, организации, трансакции - преку внатрешни односи кои би било кошмарно да се управуваат преку границите на услугите, но се природни во добро структуриран монолит. Напредокот во дизајнот на јазиците што ги поедноставува овие внатрешни референци директно имаат корист од оваа класа на софтвер.

Што треба да внимаваат програмерите

Дада останува експериментална, а нејзините идеи сè уште се усовршуваат преку јавен развој и повратни информации од заедницата. Сепак, неколку од неговите иновации веќе влијаат на дизајнот на мејнстрим јазикот. Тековната работа на Руст на видови на прегледи и polonius (проверка на заеми од следната генерација) позајмува концепти од истиот истражувачки простор. Моделот на сопственост на Swift, воведен во Swift 5.9, на сличен начин истражува повеќе грануларни системи за дозволи. Дури и типовиот систем на TypeScript продолжува да се развива кон попрецизно моделирање на односите со податоци.

За тимовите кои градат софтвер за производство денес, практичните чекори се јасни. Прво, фаворизирајте јазици и рамки што го усогласуваат нивниот модел на сопственост со вашиот модел на податоци - борбата против системот на типови е данок на продуктивност што се комбинира со текот на времето. Второ, инвестирајте во разбирање на моделите што ги бара вашиот домен. Ако вашата апликација е фундаментално график на меѓусебно поврзани ентитети (како што се повеќето деловни платформи), изберете алатки кои природно ги моделираат графиконите наместо да принудуваат решенија во облик на дрво.

Конечно, внимавајте на Дада и истражувањето што го претставува. Проблемите што ги решава - внатрешните референци, составот на дозволите, ергономската безбедност - не се важни. Тие се точните проблеми со кои се соочува секој тим при градење на амбициозен, меѓусебно поврзан софтвер во обем. Без разлика дали управувате со флота од возила за испорака, организирате цевковод за ангажирање во повеќе чекори или синхронизирате податоци преку деловна платформа од 207 модули, начинот на кој вашите алатки се справуваат со внатрешните односи го обликува квалитетот на сè што ќе изградите врз нив.

Од теоријата на јазикот до деловната реалност

Истражувањето на програмскиот јазик може да се чувствува оддалечено од секојдневната реалност на водење бизнис. Но, алатките што ги користиме ги обликуваат производите што ги градиме, а производите што ги создаваме го обликуваат начинот на функционирање на бизнисите. Придонесот на Дада во внатрешниот референтен проблем не е само техничка пресвртница - тој е сигнал дека индустријата се движи кон алатки кои почитуваат како програмерите всушност размислуваат за податоците, наместо да ги принудуваат да размислуваат како компајлер.

За над 138.000 бизниси кои користат платформи како Mewayz за управување со нивните операции, овој напредок значи софтвер кој е посигурен, побогат со функции и побрз да се развива. Секое подобрување во начинот на кој програмските јазици се справуваат со сложеноста се претвора, на крајот, во подобро искуство за крајниот корисник - сопственикот на мал бизнис кој едноставно сака нивните системи за CRM, фактурирање и резервации да работат заедно беспрекорно. Таа беспрекорност е производ на илјадници добро моделирани внатрешни референци, а јазиците како Дада ги прават побезбедни и полесни за градење од кога било досега.