Vercel Labs "Zero" хэлийг зарлалаа: Хүнд биш, зөвхөн AI Агентад зориулсан Graph-First программчлалын шинэ хэл

Нийт программчлалын хэлний түүхийг сөхвөл хэл бүхэн хүнд зориулагдан бүтээгдэж байсан. JavaScript, Python, Go, Rust зэрэг орчин үеийн хэлүүдийн синтакс, камал кэйс (camelCase), хаалт, цэг таслал, зай зэрэг нь хүний тархинд уншигдахдаа ойлгомжтой байх зарчимд тулгуурладаг. Харин кодын дийлэнх хэсгийг AI Агент (AI Agent) бичдэг, засварладаг болж буй өнөө үед уламжлалт текстийн синтакс нь хиймэл оюуны хувьд илүүдэл зардлаар дүүрэн том саад болж байна.

Энэхүү тулгамдсан асуудлыг шийдвэрлэхээр Vercel Labs компани "Zero" нэртэй шинэ программчлалын хэлийг танилцууллаа. Энэ нь хүнд зориулагдаагүй, зангилаа ба холбоосоос бүрдэх Graph-First бүтэцтэй бөгөөд зөвхөн AI Агентууд код бичих, өөрчлөх, шалгах үйл ажиллагаанд зориулагдсан архитектуртай юм.

Программчлалын хэл хүнд зориулагдахаа больсон уу?

Хэдийгээр өнөөдрийн AI кодинг туслахууд хүний бичсэн текстоос бүрдэх кодон дээр суралцаж ирсэн ч, текстийн хэлбэртэй эх код нь LLM (Large Language Model) болон агентуудын хувьд дараах хүндрэлүүдийг дагуулдаг:

Токены асар их гарз: Хүний уншихад зориулсан зай, комментари, синтакс чиэглэлүүд болон бүтцийн үгс нь AI-ийн контекст цонхны (context window) токены хэрэглээг асар ихээр нэмэгдүүлдэг.
Парсинг болон AST дахин тооцоолол: Текстийг компилятор унших бүрдээ Abstract Syntax Tree (AST) болгон хөрвүүлдэг. AI агентын хувьд код бичих болгонд энэхүү текстийг парс хийх нь цаг хугацаа болон тооцооллын хэрэгцээгүй дундын шат болдог.
Алдааны тайлангийн тодорхойгүй байдал: Уламжлалт компиляторын алдааны мессежүүд нь хүний нүдээр харахад зориулагдсан тул AI модель нь мөрний дугаар болон синтакс дээр хялбархан төөрөлдөж, хиймэл төсөөлөл (hallucination) үүсгэдэг.

Zero хэл нь энэ бүх дундын шатыг арилгаж, эх кодыг шууд математик болон логик графийн бүтэцтэйгээр боловсруулдаг.

Graph-First архитектур ба Text-First хандлагын төгсгөл

Уламжлалт "Text-First" программчлалын хэлүүдэд эх код нь сурвалж системдээ сул текст файл байдлаар хадгалагдаж, компиляторын зааг дээр АСТ руу хөрвөдөг.

Харин Vercel Labs-ийн хөгжүүлсэн Zero хэлийн хувьд:

Каноник Эх Гадаргуу (Native Source Surface): Код нь .ts эсвэл .py файл шиг сул текст биш, шууд зангилаанууд болон тэдгээрийн хамаарлаас бүрдэх графийн бүтэцтэйгээр оршин тогноно.
v0.3.0 Шинэчлэлт: Компиляторын хил хязгаар дээр шууд текст хэлбэрийн прожектор оруулахыг бүрэн хориглосон бөгөөд эх кодыг заавал графийн бүтэцтэйгээр уншуулдаг болгосон.
12 дахин хурдан хөрвүүлэлт: Сүүлийн v0.3.2 хувилбараар zero import процессыг оновчтой болгосноор томоохон кодын баазыг графийн бүтэц рүү хөрвүүлэх ажиллагаа 12 дахин хурдан болжээ.

Хөгжүүлэгч хүн кодтой танилцах, код ревью (code review) хийх шаардлага гарвал Zero хэл нь "Verify-projection" болон "Zero export" механизмыг ашиглан графийг хүний нүдэнд харагдахуйц текст хэлбэрт түр хөрвүүлж харуулдаг. Гэвч CI/CD pipeline болон агентын орчинд код нь цэвэр графийн зангилаа байдлаар боловсруулагдана.

Zero хэлийн техникийн онцлогууд ба AI-д үзүүлэх давуу тал

Zero хэлийг зохион бүтээхдээ системчлэлийн гүйцэтгэл болон AI Агентын ажиллах онцлогийг дараах байдлаар тохируулжээ:

Структурчлагдсан Алдаа (Structured Errors): Компилятор алдаа заахдаа текстоор "SyntaxError: Unexpected token" гэж мэдээлэхгүй. Агентад зориулсан машинд ойлгомжтой, графийн бүтэцтэй алдааны обьектыг буцаадаг. Ингэснээр AI Агент хаана, ямар логик зангилаа доголдсоныг шууд танин мэдэж, Self-Correction гогцоог хэдэн миллисекундэд хийх боломжтой.
Zig шиг жижиг Binary ба санах ойн шууд хуваарилалт: Zero нь Rust хэлийн нарийн Borrow Checker эсвэл Go хэлийн хүнд Garbage Collector болон Runtime-аас татгалзсан. Харин Zig хэлтэй адил санах ойн шууд (explicit) хуваарилалт хийдэг, гадны хамааралгүй (dependency-free) маш жижиг Binary файл үүсгэдэг.
Изоляцилагдсан Sandbox орчин: Агентууд кодыг Sandbox орчинд ажиллуулж, өөрчлөлтийг тусгаарлагдсан графийн түвшинд шууд туршин, продакшн системд эрсдэлгүйгээр шалгах боломжтой.

Шинэ хэл үнэхээр хэрэгтэй гэж үү? Нийтэчдийн хэлэлцүүлэг

Vercel Labs-ийн энэхүү туршилтын төсөл танилцуулагдсаны дараа Hacker News болон хөгжүүлэгчдийн дунд идэвхтэй хэлэлцүүлэг өрнөлөө.

Зарим хөгжүүлэгчид: "AI моделиуд нь Python, TypeScript эсвэл C++ зэрэг асар их сургалтын дататай хэлүүд дээр хамгийн сайн ажилладаг. Цоо шинэ хэлийг AI-д сургана гэдэг хэцүү" гэж шүүмжилсэн байна.

Харин эсрэг байр суурьтай хөгжүүлэгчид: "Svelte эсвэл React-ийн API өөрчлөгдөх бүрд хуучин сургалтын дата ашиггүй болдогтой адил, гол асуудал олон жилийн сургалтын датанд биш, AI-д тодорхой бөгөөд компиляторын шууд тодорхой эргэх холбоо (deterministic feedback loop) өгч чаддаг бүтэцтэй хэлэнд байгаа юм. Хүний синтаксийн хязгаарлалтыг давах нь зайлшгүй алхам" гэж хамгаалжээ.

Ирээдүйн программ хангамжийн хөгжүүлэлтийн шинэ парадигм

Vercel Labs-ийн Zero хэл нь одоогоор туршилтын (experimental) түвшинд байгаа бөгөөд шууд үйлдвэрлэлийн системд (production) ашиглах болоогүйг хөгжүүлэгчид анхааруулж байна. Гэсэн хэдий ч энэ нь программ хангамжийн инженерчлэлийн салбарт маш том дохио өглөө.

Ирээдүйд кодинг нь хоёр салангид түвшинд хуваагдах нь тодорхой болж байна:

Хүний түвшин (Human Surface): Хөгжүүлэгчид зөвхөн систем хоорондын архитектур, бизнес логик, бүтээгдэхүүний дизайн ба аюулгүй байдлын шаардлагыг тодорхойлно.
Агентын түвшин (Agent Execution Surface): AI Агентууд Zero зэрэг Graph-First хэл дээр кодыг секундээс бага хугацаанд бичиж, компилж, туршиж, оновчтой болгоно.

Программчлалын хэлүүд зөвхөн хүнд зориулагддаг байсан эрин үе төгсөж, хиймэл оюун ухаанд зориулсан анхны нарийн мэргэжлийн хэлүүд үүсэж эхэлсний тод жишээ нь Vercel Zero юм.

Эх сурвалж: InfoQ - Vercel Labs Ships Zero: a Graph-First Language Built So Agents Write the Code