Cloudflare и VoidZero представиха tsrs: AI-генериран компилатор и порт на TypeScript на езика Rust
Източник: Cloudflare / VoidZero / InfoQ
Облачният лидер Cloudflare и инженерната компания VoidZero обявиха публичното пускане на tsrs – високопроизводителен компилатор и пълен порт на системата за проверка на типове на TypeScript, пренаписан изцяло на системния език Rust [1]. Забележителното при проекта е, че близо 80% от милионите редове сложна логика са преведени и валидирани с помощта на специализирани модели за автоматична транспилация и верификация.
Преодоляване на десетилетния проблем с бавния tsc
Оригиналният компилатор на TypeScript (tsc), поддържан от Microsoft, е написан на самия TypeScript и се изпълнява върху виртуалната машина Node.js. В големи корпоративни монорепозитори проверките на типовете често отнемат десетки минути, консумират гигабайти оперативна памет и бавят CI/CD пайплайните.
Проектът tsrs постига над 10-кратен скок в производителността благодарение на агресивен мултитрединг (Rayon), оптимизирани структури от арени за памет и липса на овърхед от Garbage Collector. В същото време се гарантира 100% семантична съвместимост с официалните тестови комплекти на Microsoft.
Ролята на генеративния AI в мащабната транспилация
Ръчното пренаписване на такъв монументален компилатор традиционно би отнело години на цял екип от старши инженери. Партньорите използват фронтиерни модели за разсъждение, обучени върху семантиката на Rust borrow-checker-а, които автономно конвертират JavaScript обектите в безопасни Rust структури, разрешавайки сложни цикли от референции и валидирайки типовата еквивалентност стъпка по стъпка.
Нова ера за компилаторното инженерство и безопасността на паметта
Пускането на tsrs бележи преломен момент за глобалната екосистема на уеб разработката. TypeScript се утвърди като де факто lingua franca на модерния интернет софтуер, но неговите ограничения в производителността отдавна спъваха мащабирането на съвременните облачни платформи.
Успехът на този AI-асистиран проект доказва, че най-трудните задачи в компютърните науки – пренаписването на фундаментални компилатори и инфраструктурен софтуер на езици с гарантирана памет като Rust – вече не изискват десетилетия ръчен труд. Това ще отприщи масова вълна от модернизация на застаряващи системни инструменти, повишавайки скоростта и сигурността на глобалната цифрова инфраструктура.
Четири стълба на следващото поколение инструменти за проверка на типове