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