Ускорение проверки типов TypeScript в Bazel с помощью IsolatedDeclarations — Брэд Зачер, Canva

Описание: Улучшение проверок типов TypeScript в Bazel с помощью IsolatedDeclarations — Брэд Захер, Canva

Проверка типов больших проектов TypeScript с помощью Bazel может быть сложной задачей с точки зрения производительности. Часто граф зависимостей недостаточно детализирован, что приводит к чрезмерной аннулированию кэша и множеству неэффективных выполнений действий. Кроме того, зависимость от файлов объявлений из других пакетов и использование проверки типов для создания этих файлов объявлений приводит к тому, что выполнение формирует направленный ациклический граф (DAG), часто с множеством узких мест, что приводит к ограниченному параллелизму (что особенно влияет на эффективность в сочетании с высокопараллельными средами удаленного выполнения).

Благодаря использованию IsolatedDeclarations в Canva нам удалось сократить количество выполняемых действий проверки типов на 49% (P70) и 32% (P95) и улучшить производительность на 46% (P70) и 40% (P95).


В этом докладе будет представлен обзор основных проблем традиционных методов проверки типов в TypeScript, проблем, которые они вызывают в рабочих процессах, использующих Bazel, и способов решения этих проблем с помощью изолированных объявлений (selectors).