Кішкі Lil' Fun Langs

Чаму зазіраючы пад капот маленькіх моў праграмавання, вы становіцеся лепшым канструктарам

Кожная частка праграмнага забеспячэння, якое вы выкарыстоўваеце - ад CRM, якая адсочвае вашы патэнцыйныя кліенты, да механізму аўтаматызацыі, які адпраўляе рахункі апоўначы, - была створана на мове праграмавання. Але вы калі-небудзь задаваліся пытаннем, чым працуе мова праграмавання? Не масіўныя экасістэмы накшталт Python або JavaScript, а маленькія, лагодныя, надзвычай дзіўныя, якія распрацоўшчыкі ствараюць за выходныя, каб вырашыць адну праблему або проста навучыцца. Гэтыя «забаўныя мовы» — мовы цацак, даменна-арыентаваныя мовы (DSL) і адукацыйныя інтэрпрэтатары — дзе жывуць адны з самых элегантных ідэй у інфарматыцы. Разуменне іх вантроб не проста робіць вас лепшым праграмістам; гэта карэнным чынам змяняе ваша ўяўленне аб стварэнні інструментаў, аўтаматызацыі працоўных працэсаў і распрацоўцы сістэм, якія сапраўды працуюць на людзей.

Што такое "Lil' Fun Langs"?

Свет праграмавання поўны моў, якія ніколі не прызначаліся для забеспячэння вытворчых сервераў або апрацоўкі мільёнаў транзакцый. Такія мовы, як Lox (з Crafting Interpreters Роберта Найстрома), Monkey (з Writing an Interpreter in Go Торстэна Бола) ці нават мовы-жарты, такія як Brainfuck і Chef, існуюць, каб вучыць, забаўляць і пашыраць межы таго, што азначае «мова». Гэтыя невялікія мовы пазбаўляюць ад складанасці рэальных інструментальных ланцугоў і паказваюць грубую механіку таго, як код становіцца дзеяннем.

Але "lil' fun langs" не абмяжоўваюцца навучальнымі практыкаваннямі. Даменна-арыентаваныя мовы служаць аднымі з найбольш эфектыўных бізнес-інструментаў на рынку. Кожны раз, калі вы пішаце формулу ў электронную табліцу, вызначаеце правіла фільтра ў паштовым кліенце або наладжваеце працоўны працэс аўтаматызацыі на такой платформе, як Mewayz, вы ўзаемадзейнічаеце з маленькай, спецыяльна створанай мовай. 207 модуляў унутры Mewayz — якія ахопліваюць CRM, выстаўленне рахункаў, кадры, кіраванне аўтапаркам і многае іншае — абапіраюцца на механізмы ўнутраных правілаў і аналізатары выразаў, якія, па сутнасці, з'яўляюцца малюсенькімі мовамі, распрацаванымі, каб даць карыстальнікам паўнамоцтвы, не патрабуючы ступені інфарматыкі.

Разуменне анатоміі гэтых моў паказвае, чаму некаторыя інструменты здаюцца інтуітыўна зразумелымі, а іншыя - як барацьба з кіраўніцтвам, напісаным у іншым вымярэнні.

Лексар: Разбіваючы словы на атамы

Кожная мова, якой бы маленькай яна ні была, пачынаецца з аднаго і таго ж фундаментальнага кроку: лексічнага аналізу або "лексічнага аналізу". Лексер бярэ неапрацаваны радок сімвалаў — нешта накшталт total = price * quantity + tax — і разбівае яго на значныя кавалкі, якія называюцца токенамі. Лексер пакуль не клапоціцца пра сэнс. Ён проста вызначае, што total з'яўляецца ідэнтыфікатарам, = з'яўляецца аператарам прысваення, price з'яўляецца іншым ідэнтыфікатарам, * з'яўляецца множаннем, і гэтак далей.

Стварэнне лексара для маленькай мовы надзіва задавальняе. Менш чым у 100 радках кода вы можаце навучыць праграму распазнаваць лічбы, радкі, ключавыя словы і аператары. Справа ў прастаце — яна прымушае вас думаць пра тое, які абсалютны мінімальны набор «слоў» патрэбны вашай мове. Тое ж мысленне прымяняецца пры распрацоўцы інструментаў, накіраваных на карыстальніка. Калі механізм аўтаматызацыі Mewayz дазваляе ўладальніку малога бізнэсу наладзіць такое правіла, як «калі рахунак-фактура пратэрмінаваны на 7 дзён, адправіць напамін па электроннай пошце», сістэма ціха пераносіць гэтае правіла ў структураваныя токены, на якія яна можа дзейнічаць. Найлепшыя інтэрфейсы робяцца лёгкімі менавіта таму, што хтосьці глыбока задумваўся над тым, як выглядаюць найменшыя значныя адзінкі намераў карыстальніка.

Антаксічны аналіз: ператварэнне плоскіх токенаў у жывыя дрэвы

Як толькі ў вас ёсць токены, вам спатрэбіцца структура. Разбор пераўтварае плоскую паслядоўнасць лексем у абстрактнае сінтаксічнае дрэва (AST) — іерархічнае прадстаўленне, якое фіксуе адносіны паміж рознымі часткамі выразу. Выраз 3 + 4 * 5 - гэта не проста паслядоўнасць з пяці знакаў; гэта дрэва, дзе множанне звязана мацней, чым складанне, ствараючы 23 замест 35.

Тут усё становіцца па-сапраўднаму весела. Такія алгарытмы разбору, як рэкурсіўны спуск або разбор па Пратту, - гэта элегантная інжынерыя, якая змяшчаецца ў адным файле, але можа апрацоўваць дзіўна складаныя граматыкі. У прыватнасці, аналізатары рэкурсіўнага спуску чытаюцца амаль як спецыфікацыя самой мовы — кожная функцыя адпавядае граматычнаму правілу, што робіць код самадакументаваным спосабам, які рэдка сустракаецца ў распрацоўцы праграмнага забеспячэння.

Урокі сінтаксічнага аналізу выходзяць далёка за рамкі моўнага дызайну. Любая сістэма, якая апрацоўвае структураваны ўвод - форму браніравання з дыяпазонамі дат, канфігурацыю заработнай платы з умоўнымі правіламі, канвеер CRM з разгалінаванай логікай - вырашае праблему аналізу. Больш за 138 000 карыстальнікаў платформы Mewayz кожны дзень ствараюць складаныя структураваныя даныя. Разуменне таго, як парсеры ператвараюць неадназначны ўвод у адназначную структуру, заключаецца ў розніцы паміж пабудовай сістэмы, якая вытанчана апрацоўвае крайнія выпадкі, і той, якая парушаецца ў той момант, калі нехта ўводзіць дату ў нечаканым фармаце.

Інтэрпрэтатар: Дзе код ажывае

Перакладчык - гэта месца, дзе адбываецца магія. Ён праходзіць па AST вузел за вузлом і выконвае яго. Лікавы вузел вяртае сваё значэнне. Вузел двайковай аперацыі ацэньвае сваіх левых і правых даччыных элементаў і аб'ядноўвае іх. Выклік функцыі шукае функцыю ў асяроддзі, звязвае аргументы і ацэньвае цела. На цацачнай мове ўвесь інтэрпрэтатар можа складацца з 200-300 радкоў — дастаткова малых, каб утрымліваць у галаве, але дастаткова магутных, каб запускаць рэальныя праграмы.

Ёсць два шырокія падыходы да выканання: інтэрпрэтатары па дрэве і віртуальныя машыны з байт-кодам. Хадакі па дрэвах прасцей, але павольней; яны перасякаюць AST непасрэдна. Віртуальныя машыны з байт-кодам кампілююць AST у паслядоўнасць простых інструкцый (накшталт малюсенькай мовы зборкі) і выконваюць іх замест гэтага, абменьваючы складанасць рэалізацыі на значна лепшую прадукцыйнасць. CPython, стандартная рэалізацыя Python, выкарыстоўвае віртуальную машыну з байт-кодам. Lua, адна з самых эфектыўных убудоўваемых моў, стала піянерам у распрацоўцы ВМ на аснове рэгістраў, што паўплывала на гульнявыя рухавічкі ва ўсім свеце.

Асноўнае разуменне: самыя магутныя бізнес-інструменты - гэта не тыя, якія валодаюць найбольшай колькасцю функцый - гэта тыя, якія маюць лепшую ўнутраную "мову" для выказвання таго, што насамрэч патрэбна карыстальнікам. Кожны механізм правілаў, сістэма формул і канструктар аўтаматызацыі - гэта малюсенькі замаскіраваны інтэрпрэтатар. Якасць гэтага інтэрпрэтатара вызначае, ці будзе інструмент маштабавацца ад 10 карыстальнікаў да 100 000.

Асяроддзі і аб'ём: схаваная архітэктура дзяржавы

Адна з самых складаных канцэпцый у моўнай рэалізацыі — і адна з найбольш непасрэдна прыдатных да бізнес-праграмнага забеспячэння — заключаецца ў тым, як мовы кіруюць станам праз асяроддзе і вобласць. Калі вы пішаце прызначэнне зменнай унутры функцыі, гэтая зменная не павінна выцякаць і перазапісваць што-небудзь у глабальнай вобласці. Гэта гучыць відавочна, але для яго правільнай рэалізацыі патрэбна структура даных, званая ланцужком асяроддзя: звязаны спіс хэш-карт, дзе кожны ўзровень уяўляе сабой вобласць, а пошук зменных ідзе па ланцужку, пакуль не знойдзе адпаведнасць.

Гэты шаблон з'яўляецца ўсюды ў добра распрацаваным праграмным забеспячэнні. Карыстальніцкія дазволы ў бізнес-платформе працуюць такім жа чынам — доступ члена каманды вызначаецца шляхам праверкі спачатку яго індывідуальных дазволаў, затым дазволаў іх ролі, а затым стандартных значэнняў арганізацыі. Модульная сістэма Mewayz, якая ахоплівае ўсё: ад старонак са спасылкамі ў біяграфіі да поўнай апрацоўкі заработнай платы, выкарыстоўвае шматслаёвую канфігурацыю, якая адлюстроўвае гэты дакладны прынцып. Уладальнік бізнесу ўсталёўвае налады па змаўчанні для ўсёй арганізацыі, менеджэры аддзелаў могуць перавызначыць пэўныя налады, а асобныя карыстальнікі могуць наладжваць уласную працоўную прастору — і ўсё гэта без канфліктаў.

Няправільнае азначэнне вобласці ў мове праграмавання выклікае памылкі. Няправільны аб'ём дзеяння ў бізнес-платформе прыводзіць да ўцечкі даных, павышэння дазволаў і такога кшталту аперацыйнага хаосу, які каштуе рэальных грошай. Урокі аднолькавыя на ўсіх узроўнях абстракцыі.

Чаму вас навучыць стварэнне малюсенькай мовы

Калі вы ніколі не стваралі невялікую мову праграмавання, вось чаму канкрэтна вучыць гэты вопыт — і чаму гэта важна, незалежна ад таго, з'яўляецеся вы распрацоўшчыкам, тэхнічным заснавальнікам або тым, хто проста хоча зразумець інструменты, якімі яны карыстаюцца кожны дзень:

• Дакладнасць думкі: Вы не можаце быць расплывістым пры вызначэнні граматыкі. Кожная неадназначнасць у спецыфікацыі вашай мовы становіцца памылкай у вашым аналізатары. Гэтая дысцыпліна пераходзіць непасрэдна да напісання лепшых спецыфікацый, больш дакладнай дакументацыі і больш дакладных патрабаванняў да функцый.
• Сучуванне карыстальнікам: калі вы распрацоўваеце мову, вы распрацоўваеце інтэрфейс для чалавечага мыслення. Вы навучыцеся пытацца: "Што карыстальнік мае на ўвазе пад гэтым?" — пытанне, якое павінна кіраваць кожным рашэннем аб прадукце.
• Інтуіцыя прадукцыйнасці: вы даведаецеся, чаму адны аперацыі хуткія, а іншыя павольныя, не з чытання эталонных тэстаў, а з таго, што дакладна бачыце, колькі крокаў выконвае інтэрпрэтатар. Гэта дазваляе вам лепш распрацоўваць маштабаваныя сістэмы.
• Майстэрства адладкі: калі ваша мова выдае няправільны вывад, вам няма дзе схавацца. Тут няма ні фрэймворка, ні канфлікту версій бібліятэкі. Гэта ваша логіка, вашы структуры дадзеных, ваш алгарытм. Гэта стварае навыкі глыбокай адладкі, якія адрозніваюць добрых інжынераў ад выдатных.
• Удзячнасць за абстракцыю: Вы разумееце, чаму мовы больш высокага ўзроўню зрабілі такі выбар — чаму JavaScript мае замыканні, чаму Python выбраў значныя прабелы, чаму існуе інструмент праверкі запазычанняў Rust. Гэта не адвольныя рашэнні; гэта рашэнні рэальных праблем, з якімі вы сутыкнецеся падчас уласнай рэалізацыі.

Ад цацачных моў да рэальнай аўтаматызацыі

Розніца паміж мовай цацак і механізмам аўтаматызацыі вытворчасці меншая, чым думае большасць людзей. Мова шаблонаў Liquid ад Shopify пачыналася як простая, бяспечная сістэма шаблонаў, а цяпер працуе на мільёнах вітрын. Сінтаксіс працоўнага працэсу GitHub Actions - гэта даменна-спецыфічная мова, пабудаваная на YAML. Мова запытаў Sigma ад Stripe дазваляе фінансавым камандам запытваць плацежныя дадзеныя без напісання SQL. Кожны з іх пачынаўся з таго, што нехта пытаўся: "Якая самая маленькая і самая простая мова вырашае гэтую канкрэтную праблему?"

Гэта тая ж філасофія, якая стаіць за платформамі, якія накіраваны на кансалідацыю бізнес-аперацый у адзіную экасістэму. Калі Mewayz абслугоўвае фрылансера, якому патрэбна старонка са спасылкай у біяграфіі і кампанія сярэдняга памеру, якая налічвае заработную плату для 50 супрацоўнікаў у сваіх 207 модулях, асноўная задача такая ж, з якой сутыкаецца кожны распрацоўшчык мовы: як стварыць сістэму, дастаткова простую для пачаткоўцаў, але досыць магутную для складаных выпадкаў выкарыстання? Адказ, як вам скажа любы распрацоўшчык мовы, ляжыць у правільным наладжванні прымітываў — невялікіх складаных будаўнічых блокаў, якія карыстальнікі могуць камбінаваць спосабамі, якіх дызайнер ніколі не чакаў.

У наступны раз, калі вы наладжваеце правіла аўтаматызацыі, ствараеце карыстальніцкую прыборную панэль або наладжваеце ўмоўны працоўны працэс у любым бізнес-інструменце, памятайце: вы пішаце праграму на вясёлай мове. Хтосьці распрацаваў нутро гэтай мовы — яе лексар, аналізатар і інтэрпрэтатар — каб зрабіць ваш намер выканальным. І якасць іх працы з'яўляецца нябачнай сілай, якая вызначае, ці будзе ваш вопыт адчуваць сябе чараўніцтвам ці пакутай. Разуменне гэтых вантроб, нават на павярхоўным узроўні, дае вам звышздольнасць: магчымасць бачыць машыну пад інтэрфейсам, прадбачыць, дзе яна зламаецца, і прасунуць яе далей, чым калі-небудзь меркавалі яе дызайнеры.

Часта задаюць пытанні

Што такое "lil' fun langs" і чаму гэта мяне хвалюе?

Lil' fun langs - гэта невялікія эксперыментальныя мовы праграмавання, створаныя для вывучэння пэўных ідэй або навучання асноўным паняццям. Яны вар'іруюцца ад цацачных перакладчыкаў, напісаных на выходных, да прадметна-арыентаваных моў (DSL), прызначаных для вузкіх задач. Разуменне таго, як яны працуюць, дае вам больш глыбокае разуменне таго, як працуе ўсё праграмнае забеспячэнне - у тым ліку бізнес-інструменты, на якія вы разлічваеце штодня. Гэтыя веды робяць вас больш разумным распрацоўшчыкам і больш інфармаваным чалавекам, які прымае рашэнні пры выбары або стварэнні сістэм аўтаматызацыі.

Як вывучэнне ўнутраных функцый мовы дапамагае аўтаматызацыі бізнесу?

Калі вы разумееце такія паняцці, як аналіз, ацэнка і інтэрпрэтатары, вы пачынаеце бачыць аўтаматызацыю па-іншаму. Вы распазнаеце шаблоны ў канструктарах працоўных працэсаў, механізмах шаблонаў і сістэмах правілаў. Такія платформы, як Mewayz, выкарыстоўваюць гэтыя ж прынцыпы ў сваіх 207 модулях, каб дазволіць вам аўтаматызаваць выстаўленне рахункаў, працоўныя працэсы CRM і многае іншае — і ўсё без напісання кода. Веданне асноў дапаможа вам прасоўваць гэтыя інструменты далей і хутчэй вырашаць праблемы.

Ці патрэбна мне ступень інфарматыкі, каб стварыць малюсенькую мову?

Зусім не. Многія распрацоўшчыкі ствараюць свой першы інтэрпрэтатар за адны выхадныя, выкарыстоўваючы падручнікі і даведнікі з адкрытым зыходным кодам. Такія мовы, як Python і JavaScript, дазваляюць лёгка напісаць асноўны лексар, парсер і ацэншчык. Мэта складаецца не ў тым, каб стварыць наступную прадукцыйную мову, а ў тым, каб вучыцца на практыцы. Нават простая мова калькулятара навучыць вас, як разбіраюцца і выконваюцца выразы, навыкі, якія пераносяцца непасрэдна ў распрацоўку ў рэальным свеце.

Ці можа разуменне DSL дапамагчы мне выбраць лепшыя бізнес-інструменты?

Абавязкова. Многія бізнес-платформы ўбудоўваюць даменна-спецыфічныя мовы для формул, фільтраў і правілаў працоўнага працэсу. Калі вы зразумееце, як DSL працуюць пад капотам, вы зможаце больш крытычна ацэньваць інструменты. Напрыклад, Mewayz прапануе комплексную бізнес-АС ад 19 долараў у месяц з убудаванай логікай аўтаматызацыі ўсіх яе модуляў. Веданне канцэпцый DSL дапаможа вам цалкам выкарыстоўваць гэтыя функцыі, а не драпаць паверхню.