Почему AI заставляет нас переосмыслить язык

27.09.2026 · 5 мин

Замечали, как разработчики спорят о скобках, точках с запятой и отступах? Десятилетия энергии уходили на то, чтобы сделать языки удобнее для человека. Теперь появляется новый пользователь — AI-агент — и его требования к языку совершенно другие.

Хосе Валим, создатель Elixir, размышляет об этом в статье на блоге Dashbit. И некоторые его наблюдения заставляют пересмотреть привычные представления о том, что делает язык хорошим.

Синтаксис больше не главное

Вспомните последний холивар о языках. Спорили о том, как выглядит код, а не о том, что он означает.

Optional chaining в Swift, pattern matching в Rust, list comprehensions в Python — всё это придумано для людей. Меньше набора текста, больше читаемости. Но вот что странно: агентам всё это почти безразлично.

Для AI нет разницы между user?.address?.city и цепочкой if let. Это просто последовательность токенов. То, что для нас выглядит как прогулка по парку, для агента — та же самая работа.

Валим пишет, что оптимизировать языки под токенную эффективность — значит строить дом на песке. Модели становятся дешевле, контекстные окна растут. То, что сегодня кажется критическим ограничением, завтра будет забыто.

ЭВОЛЮЦИЯ ПРИОРИТЕТОВ
─────────────────────
Человек пишет код:
  Синтаксис ──▶  Удобство ──▶  Экосистема

AI пишет код:
  Гарантии ──▶  Анализируемость ──▶  Предсказуемость

        ▲ Меняется фокус, а не ценность языка
Два пользователя — два набора приоритетов. Синтаксис уходит на второй план.

Почему языки никуда не денутся

Распространённый страх: а нужны ли вообще языки, если агенты смогут генерировать машинный код напрямую?

Валим этот страх разделяет, но по практическим причинам. Код, который работает на разных архитектурах, нуждается в промежуточном слое. И этот слой по сути и есть компилятор — только теперь его «писатель» не человек.

Более того, у нас нет единой вычислительной модели, которая хороша для всего. Системное программирование, доказательство теорем, распределённые системы — это разные семантики и разные гарантии. Ожидать, что одна машинная прослойка всё это заменит, наивно.

Языки останутся. Но критерии их качества изменятся.

Гарантии важнее ergonomics

Вот где становится интересно. Если языки проектировались для людей, то человечность была приоритетом. Синтаксический сахар, автоматический вывод типов, неявные преобразования — всё это ради того, чтобы программисту было приятно.

Но Валим предлагает другой угол. Если типовую информацию можно вывести автоматически — это здорово. Но если мы начнём требовать явные типы, компилятор получит больше данных для проверки. Агенты получат больше контекста. Люди, читающие код позже, тоже.

Вывод типов — это компромисс. Иногда удобный. Иногда ограничивающий.

Валим выделяет несколько слоёв верификации, которые становятся важнее:

Комбинация этих подходов даёт больше уверенности в коде, чем любой из них по отдельности. И это то, что агентам нужно не меньше, чем людям.

СЛОИ ВЕРИФИКАЦИИ
─────────────────
Код ──▶  Язык ──▶  Типы ──▶  Runtime ──▶  Тесты
  │        │         │         │          │
  └────────┴─────────┴─────────┴──────────┴──▶ Больше уверенности
Несколько уровней защиты работают лучше, чем один.

Программные базы вместо lsp

Отдельно зацепила мысль о будущем IDE и протоколов языкового сервера (LSP).

LSP заточен под человека: вы открываете файл, смотрите на позицию курсора, переходите к определению. Агенту это неудобно. Он не смотрит на код глазами — он работает с базой данных символов, вызовов и потоков данных.

Валим упоминает свой проект Tidewave, где можно спросить: «Где определена функция foo_bar?» — без указания конкретного файла и строки. Это ближе к тому, как работает мышление агента.

Традиционные IDE никуда не денутся для людей. Но для агентов нужны другие интерфейсы.

Практический вывод

Что это значит для нас как разработчиков и архитекторов?

Языки с сильными гарантиями получают преимущество. Rust с его borrow checker, Elixir с изоляцией процессов, языки с dependent types — всё это становится ценнее не потому, что людям удобнее, а потому что инструментам проще понимать и проверять код.

Экосистемы будут быстрее догонять друг друга. Если построить хороший веб-фреймворк или библиотеку для работы с данными станет дешевле, это ослабит доминирование крупных сообществ. Меньшие языки смогут быстрее наращивать инструментарий.

Споры о синтаксисе потеряют смысл. Не потому, что синтаксис не важен. А потому, что его будут писать агенты. Вопрос не «как удобнее набирать», а «как легче анализировать и проверять».

Лично мне эта перспектива кажется освобождающей. Меньше холиваров о скобках, больше внимания к семантике и гарантиям. Языки, которые выиграют в этой новой реальности, — это те, которые думали не только о человеке за клавиатурой, но и о системе, которая эту клавиатуру заменит.

Ссылки

Дмитрий Полухин — продуктовый дизайнер. Пишу про разработку, AI и дизайн интерфейсов. Обо мне, контакты и профили.

Что почитать дальше