В GitHub объяснили популярность типизированных языков из-за работы с ИИ

На GitHub опубликовали ^[1] пост, посвящённый росту популярности типизированных языков среди разработчиков. По мнению автора, причина кроется в работе с инструментами искусственного интеллекта ^[2].

Как отмечается, используя инструменты ИИ, разработчики не только выбирают более популярные и лучше знакомые модели библиотеки и языки, но и используют инструменты, снижающие риски. Динамические языки, такие как Python и JavaScript, позволяют быстро разрабатывать приложения, что даёт скорость и гибкость, но в ущерб безопасности. 

«Когда вы не контролируете каждую строку кода, незаметные ошибки ^[3] могут остаться незамеченными. Именно тогда концепция безопасности, основанная на типах, становится гораздо более привлекательной и даже необходимой. Искусственный интеллект просто увеличивает объём “кода, который вы лично не писали”, что повышает ставки… Именно здесь типизированные языки выигрывают спор. Не потому, что нетипизированные языки “плохи”, а потому, что типы улавливают именно тот класс неожиданностей, которые иногда может вносить сгенерированный ИИ код», — указывается в блоге.

Согласно исследованию 2025 года, 94% ошибок компиляции, генерируемых LLM, были ошибками проверки типов. Данные 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#, выросли больше, чем когда-либо.

«Системы типов не заменяют динамические языки. Но они стали распространённой функцией безопасности для разработчиков, работающих с инструментами ИИ и совместно с ними, и это не случайно. По мере роста популярности разработки с использованием ИИ и разработки агентов, можно ожидать, что системы типов станут ещё более важными в процессе создания и выпуска надёжного программного обеспечения», — заключает автор.