GitHub опубликовал пост о росте популярности типизированных языков программирования. Автор связывает это с распространением ИИ-инструментов в разработке.
Разработчики, использующие ИИ, выбирают не только популярные библиотеки и языки. Они также берут инструменты, снижающие риски. Динамические языки вроде Python и JavaScript позволяют быстро разрабатывать приложения. Это дает скорость и гибкость, но в ущерб безопасности.
Узнать подробнее про клуб ShareAI
Автор поста объясняет проблему. Когда вы не контролируете каждую строку кода, незаметные ошибки могут остаться незамеченными. Концепция безопасности на основе типов становится гораздо более привлекательной и даже необходимой. ИИ просто увеличивает объем кода, который вы лично не писали. Это повышает ставки.
Типизированные языки выигрывают спор. Не потому, что нетипизированные языки плохи. Типы улавливают именно тот класс неожиданностей, которые может вносить сгенерированный ИИ-код.
Исследование 2025 года показывает цифры. 94% ошибок компиляции, генерируемых большими языковыми моделями, были ошибками проверки типов.
Данные Octoverse 2025 демонстрируют конкретные результаты. TypeScript стал самым используемым языком на GitHub. Он обогнал Python и JavaScript. Число разработчиков TypeScript выросло более чем на 1 млн человек в 2025 году. Это рост на 66% в годовом исчислении. Общее число разработчиков оценивается в 2,6 млн.
Рост частично обусловлен фреймворками, которые по умолчанию создают проекты на TypeScript. Среди них Astro, Next.js и Angular. Но основной импульс объясняется использованием ИИ.
Тренд касается не только TypeScript. Luau — скриптовый язык Roblox — показал рост более чем на 194% в годовом исчислении. Typst часто сравнивают с LaTeX. Но у него функциональный дизайн и строгая типизация. Язык показал рост более чем на 108%. Даже старые языки вроде Java, C++ и C# выросли больше, чем когда-либо.
Автор блога делает вывод. Системы типов не заменяют динамические языки. Но они стали распространенной функцией безопасности для разработчиков, работающих с ИИ-инструментами. По мере роста популярности разработки с использованием ИИ и агентов можно ожидать, что системы типов станут еще более важными. Они критичны для создания и выпуска надежного программного обеспечения.
