ИИ-агенты написали компилятор, который собрал себя сам: история языка Nova

Автор языка Nova — Go/Rust-подобного бэкенд-языка — поделился опытом разработки с ИИ-агентами. Главная фишка Nova в том, что функция в типе объявляет, с чем она работает: сетью, часами или файлами. Такие эффекты можно подменять, например, на тестовые, не меняя саму программу.

Первый компилятор под названием Oracle писали на Rust, но он завёл в тупик: целый месяц ушёл на «починку» вывода типов, отчёты выглядели зелёными, а работа не продвигалась. Второй компилятор, Carina, переписали с нуля уже на самой Nova — и он успешно собрал себя сам.

В статье автор разбирает, где ошибались агенты, где он сам, и даёт семь практических приёмов проверки работы ИИ-агентов. Это полезный опыт для всех, кто хочет применять ИИ в сложных инженерных задачах.