Я пишу язык Nova с ИИ-агентами пять с половиной месяцев. Nova — Go/Rust-подобный язык для бэкенда, где функция в типе объявляет, чем занимается сама: работает с сетью, часами, файлами. Это эффекты, и их реализацию можно подменить, например ...
Я пишу язык Nova с ИИ-агентами пять с половиной месяцев. Nova — Go/Rust-подобный язык для бэкенда, где функция в типе объявляет, чем занимается сама: работает с сетью, часами, файлами. Это эффекты, и их реализацию можно подменить, например на тестовую, не меняя программу.
Первый компилятор, Oracle на Rust, зашёл в тупик: месяц мы с агентами «чинили» вывод типов, отчёты были зелёными, а работа стояла на месте. Второй, Carina, написан заново на самой Nova, и он собрал себя сам, байт в байт.
Так можно ли написать язык программирования с ИИ? В статье — ответ как это было по шагам, где ошибались агенты и где я, и семь приёмов проверки работы агентов.