Жозе Валим: языки программирования должны адаптироваться под ИИ-агентов
Habr AI · оригинал
Материал подготовлен автоматизированной редакционной системой. Факты можно сверить по указанному первоисточнику.
Создатель языка Elixir Жозе Валим утверждает, что инструменты разработки необходимо перестроить под логику работы ИИ-агентов, а не заставлять их имитировать человеческое восприятие кода. Он предлагает заменить традиционные интерфейсы IDE на базы данных программ и системы наблюдаемости рантайма, чтобы обеспечить агентам прямой доступ к семантике и состоянию систем.
Текст предлагает фундаментальный сдвиг в парадигме создания инструментов разработки: от оптимизации под эргономику человека к оптимизации под машинную обработку данных, что может изменить архитектуру IDE и языковых серверов.
Создатель языка Elixir Жозе Валим предлагает радикально пересмотреть подход к проектированию инструментов разработки в эпоху искусственного интеллекта. В своей статье он аргументирует, что цифровая среда, включая синтаксис языков и интерфейсы IDE, исторически оптимизирована под человеческое восприятие. Однако, поскольку ИИ-агенты становятся полноценными пользователями этих систем, их следует адаптировать под логику машин, а не заставлять агентов работать через «человеческие дверные ручки» вроде синтаксического сахара или протоколов LSP.
Валим отмечает, что традиционные сообщества вокруг языков программирования строились на общих ценностях и эргономике. Но если основная часть кода будет генерироваться агентами, эти факторы теряют первостепенное значение. Он полагает, что стоимость создания экосистем может резко снизиться, так как агенты способны быстро реализовывать известные алгоритмы и портировать решения. Это создаст противоречие: с одной стороны, разрыв между крупными и небольшими языковыми сообществами сократится, но с другой — ослабнет стимул для совместной работы над общими библиотеками.
Автор критикует идею создания языков, оптимизированных исключительно под расход токенов. По его мнению, такие решения фиксируют современные ограничения моделей, которые быстро устаревают. Валим уверен, что языки программирования не исчезнут и не будут заменены прямым написанием ассемблера агентами. Необходимость в высокоуровневых абстракциях, независимых от архитектуры, сохранится, так как единый низкоуровневый язык не способен покрыть все потребности: от системного программирования до доказательства теорем.
Ключевым изменением станет смещение приоритета с удобства на гарантии. Если агенты пишут код, им не нужна экономия символов при описании типов или сигнатур функций. Напротив, явное указание намерений и типов дает компилятору и другим агентам больше информации для верификации. Валим утверждает, что языки будут различаться именно тем, как они комбинируют статические гарантии, контроль во время выполнения и проверку на практике.
Практическая часть статьи посвящена замене традиционных интерфейсов. Протокол языковых серверов (LSP), созданный для IDE, плохо подходит для агентов, так как требует точного отслеживания позиций в файлах. Валим предлагает представить информацию о коде как базу данных с языком запросов. Это позволит агентам выполнять сложные семантические запросы, например, поиск всех путей, где значение может стать nil, что невозможно сделать через стандартные кнопки IDE.
Также автор выступает за замену отладчиков системами наблюдаемости рантайма. Агенты способны инструментировать код и собирать трассировки быстрее людей. Им необходим программный доступ к состоянию работающих систем для диагностики сбоев в реальном времени. Валим подчеркивает, что такая инфраструктура уже частично существует в экосистеме Erlang/Elixir благодаря возможностям виртуальной машины BEAM, но требует создания безопасных интерфейсов для ИИ-агентов.