Microsoft пренаписва компилятора TypeScript на езика Go

Андерс Хейлсберг (Anders Hejlsberg), главният архитект на езика TypeScript, който е създал езиците C#, Delphi и Turbo Pascal, представи проект за създаване на нов компилатор за TypeScript — typescript-go (tsgo), разработван на езика Go. Както старият компилатор, така и новият проект се разпространява под лицензия Apache 2.0.

Оригиналният компилатор TypeScript е написан на езика TypeScript и се транслира в JavaScript, което създава проблеми с мащабирането при използване в много големи проекти. Разработчиците трябва да се примирят с големи закъснения при зареждането и проверката на кода в интегрираните среди за разработка и да жертват удобството на разработката в полза на намаляването на закъсненията, изключвайки функции за проверка на кода в редакторите. В екосистемата също така назрява необходимостта от инструменти за командния ред, които да позволят бързо компилиране на кода за проверка на неговото функциониране.

Очаква се, че създаването на нативен компилатор и инструменти за TypeScript съществено ще увеличи скоростта на сборка, ще намали консумацията на памет и ще съкрати времето за стартиране на редакторите на код. Високата производителност на инструментите ще направи процеса на разработка по-удобен в съвременните редактори на код, ще позволи бърза проверка на кода на целия проект и ще даде възможност за реализиране на по-усъвършенствани техники за рефакторинг и анализ на кода, включването на които преди е било твърде разходно по отношение на ресурсите.

Според оценките на разработчиците на TypeScript, новият инструментариум ще позволи намаляване на времето за сборка с порядък. В текущия си вид новият вариант на компилятора tsc обработва кодовата база на проекта VS Code за 7.5 секунди, докато старият компилатор е имал нужда от 77.8 секунди за тази операция. При кодовата база Playwright, времето за зареждане е намалено от 11.1 до 1.1 сек., TypeORM — от 17.5 до 1.3 сек., date-fns от 6.5 до 0.7 сек., tRPC от 5.5 до 0.6 сек., а rxjs от 1.1 до 0.1 сек.

Разработката на нов компилатор започна през октомври 2024 г. с екип от 9 служители на Microsoft. В момента е наличен работен прототип за тестване. Планира се предварителната версия на инструмента за команден ред с новата реализация на tsc, която поддържа проверка на типове, да бъде публикувана до средата на годината. Очаква се излизането на първата напълно функционална версия, която ще може да компилира проекти и да предоставя LSP услуги за среди за разработка, да стане до края на годината.

Клонът TypeScript 6.x ще продължи да се предоставя със стария компилатор и ще включва отделни изменения, подготовящи за миграция към новата реализация. Първият релийз, преминал на новия инструментариум, ще бъде TypeScript 7. За известно време кодовите бази на TypeScript 6.x и TypeScript 7.x ще бъдат поддържани паралелно и ще съжителстват, докато клонът TypeScript 7 не достигне зряло състояние, готово напълно да замени стария инструментариум.

Преди да започнат работа по проекта, разработчиците проучиха възможността за използване на различни програмни езици и експериментираха с прототипи на различни езици. В крайна сметка за създаването на новия компилатор бе избран езикът Go, който е оптимален вариант за работа по пренаписването на кодовата база на стария компилатор. В сравнение с езици като Rust, Go е по-близо до TypeScript по семантика и структура на кода, което позволява запазване на съществуващите шаблони при портването. Използването на Go опростява преноса на изменения между кодовите бази и намалява натоварването на задачата по поддръжката на стария и новия вариант рамо до рамо.

Езикът Go осигурява добра производителност, развива се с поглед към многопоточността и ефективната работа в многокорен системи, и предлага вградени средства за защита от проблеми с паметта. Цената на безопасната работа с паметта е сборник с отпадъци, който може да доведе до закъснения по време на работа, но за компилатора появата на такива закъснения не е от значение.

Като опция се разглеждаха и други езици, като Rust, но те концептуално се различават твърде много от TypeScript и при тяхната употреба портването би се превърнало в разработка на компилатор от нулата, при което би било трудно да се постигне пълна съвместимост със стария компилатор. Щеше да се наложи отново да се решават вече решените проблеми от старата кодова база и проектът щеше да изисква значително повече време и ресурси.

Езикът TypeScript разширява възможностите на JavaScript, оставайки напълно обратно съвместим, което улеснява прехода към TypeScript на съществуващи приложения. Финалното приложение на TypeScript се компилира в обикновен JavaScript, който може да се изпълнява в всеки съвременен уеб браузър или да се използва с платформите Node.js, Bun и Deno. TypeScript се различава от JavaScript с инструменти за явно определяне на типове, както и с поддръжка на пълноценни класове и модули. Статичната типизация позволява избягване на много грешки в процеса на разработка, дава възможност за внедряване на допълнителни техники за оптимизация, улеснява отстраняването на грешки, прави кода по-четим и лесен за надграждане и поддръжка.

Източник: opennet.ru