Comments 14
Что скажете по комментариям со статьи по похожей тематике? https://habr.com/ru/companies/otus/articles/1037264/comments/
1) Насчет компилятора, вроде большие модели уже редко делают такие ошибки и проверяют инструментами.
2) Насчет простоты языка, чет совсем нелогично выглядит порядок слов и тд
3) Насчет минимализма, та же Lua и Go выглядят получше на мой взгляд
4) Насчет скобок, это сколько процентов от отступов или отступы не токены
5) У Bun.js сейчас хорошая экосистема, можно redis, s3, postgres, imagemagic и тд ничего не подключая.
Lua и Go выглядят получше на мой взгляд
Согласен! Вообще многие пункты из списка целей Zero закрываются Go. И стандартная библиотека, и минимализм. Не знаю про компилятор, т.к. никогда не писал на ГО, но возможно это и есть самый подходящий язык для AI-агентов будущего!
У Bun.js сейчас хорошая экосистема
А сейчас еще и на Rust допереписывают и вообще сказка будет!
Согласен с выводом, но думаю суть вопроса немного в другом. Agent-first это не про синтаксис языка а про качество структурированного фидбека который агент получает от тулинга. TypeScript уже достаточно agent-friendly потому что у него отличный LSP, понятные сообщения об ошибках и предсказуемая система типов. Проблема не в том что у языка фигурные скобки, а в том что большинство ошибок в больших кодовых базах это семантические ошибки которые ни один компилятор не поймает.
По-моему они в новом синтаксисе все попротили. Был неплохой язык для всех
Идет постоянное сравнение с кожаным мешками, но ведь эти модели и учились на данных от мешков, а не на каких то «машинных» кодах. Мне кажется тут явное противоречие
typed yiddish forth этот мне лично нравится весьма, но да, боюсь большинство «кожаных» программистов со мной не согласятся
Я думаю, что в целом сложность языков для агентов переоценена (по крайней мере тех языков, которых было много в обучающей выборке).
Нормально они уже справляются даже с Rust (много кода компилируется с первой попытки, там где какие-то сложные структуры данных с заимствованием, там 2-3 итерации исправлений, но агент при этом не перечитывает файл целиком, а только сообщения компилятора и выдаёт diff, что поправить).
Проблемы возникают на уровне выше (спроектировать нормальную архитектуру и т. д., там где у опытного разработчика работает интуиция, агенты мечутся между кратчайшим путём ценой экспотенциального техдолга, либо бездумным раздуванием абстракций ради того, чтобы всё было по книжкам).
Короче, нет этой боли, которую нам пытаются продать авторы языка.
Зато есть реальная проблема, что команды с нормальными процессами в той или иной степени ревьют ИИ код людьми (можно ревьюить каждый PR, можно только самые критичные, можно каждый третий, можно отправить ИИ классифицировать коммиты по необходимости вмешаться - но от human in the loop никуда не деться, а когда кто-то заявляет, что добился этого, можно сразу ставить на Polymarket на падение их сервисов в следующие месяцы). А значит язык должен быть хорошо читаем не только агентами, но и людьми.
Ну и непонятно, чем им не угодил Go. Нативная производительность есть, батарейки есть, простой и стабильный синтаксис - есть. Единственный минус - для людей он бывает скучноват (слабая выразительность системы типов и т. п.), но агенту то пофиг. Агенту как раз выразительность языка не важна, ему не лень написать комментарий в любой непонятной ситуации (настолько, что порой даже приходится просить писать их поменьше) и он их не пропускает при чтении файла. Этим люди грешат.
Если же хочется ручное управление памятью, то очевидный Rust. Лучше пусть агент покрутится в цикле исправления лайфтаймов, чем пропустит free в какой-нибудь ветке при рефаторинге. ИИ лучше всего работает, когда есть хороший feedback loop и лучше чтобы он был не только по ошибкам синтаксиса, но и хотя бы по части логических ошибок (потому что логические ошибки ИИ допускает ничуть не хуже людей).
// Скобки отменили, урааа, будущее
Расскажите им кто-нибудь про Ruby. Они будут сильно удивлены.
Расскажите им кто-нибудь, что отсутствие скобок - это не будущее, а вкусовщина
Цитата: “Итого, если в LISP скобка — это базовый эзотерический символ, а в прочих языках соблюдается некий баланс, то в Форте вся эзотерика строится на отсутствии скобок в записи выражений . Мегаследствие: все различия глобальных концептов в программировании определяются числом скобок в языке ! А не всякими там ООП , замыканиями и прочими коротящими мозги штуками .”
https://neolurk.org/wiki/Forth
P.S. @“В каждой шутке есть доля шутки” :)
мне кажется, что все таки, рано или поздно изобретут единый ЯП специально для ИИ, а люди будут на своем языке писать промты
Zero — новый agent-first язык программирования от Vercel, который изменит все (нет)