Блог

«!throws выглядит как not». Этой фразы хватило, чтобы Claude отказался от своего синтаксиса эффектов, а на объявление метода понадобилось пять раундов. Одиннадцать историй о том, почему синтаксис Nova устроен именно так, и чек-лист: когда с ИИ стоит спорить, а когда соглашаться.

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

Месяц разрабатываю Nova с автономными AI-агентами: около 300 инженерных планов закрыто, почти 2000 тестов. Четыре категории сбоев, которые встречаются регулярно, и дисциплина, которая их ловит.

Представляю Nova — что это, почему я его создаю и что уже работает сегодня: алгебраические эффекты, статические контракты, M:N рантайм и инструменты документирования. Взгляд на стадию bootstrap и планы на будущее.