Создание syntaqlite: проект инструментов разработчика для SQLite, созданный с помощью искусственного интеллекта

Что такое syntaqlite?

syntaqlite — это набор инструментов для разработчиков, работающих с SQLite, созданный Лалитом Маганти и опубликованный на GitHub. Проект был создан примерно за 250 часов в течение трёх месяцев по вечерам, в выходные и в отпускные дни.

Зачем нужен этот проект

Маганти работает над Perfetto в Google, поддерживая PerfettoSQL — язык на основе SQLite для запросов к трейсам производительности с примерно 100 тыс. строк кода, используемого внутри компании. Пользователи ожидали форматировщиков, линтеров и расширений для редакторов, но существующие инструменты для SQLite не были достаточно надёжными, быстрыми или гибкими для адаптации к PerfettoSQL.

Техническая сложность

Основная трудность заключалась в создании точного парсера, работающего точно так же, как парсер SQLite. В отличие от многих языков, у SQLite нет формальной спецификации для парсинга, он не предоставляет стабильный API парсера и даже не строит дерево разбора в своей реализации. Единственным жизнеспособным подходом было извлечение и адаптация соответствующих частей исходного кода SQLite.

SQLite написан на C в невероятно плотном стиле. Маганти потратил дни только на понимание API и реализации виртуальных таблиц. Парсер требует обработки более 400 грамматических правил, каждое из которых требует спецификации того, как синтаксис отображается на узлы дерева разбора. Эта работа одновременно сложна (понимание сложной кодовой базы) и утомительна (повторяющаяся спецификация правил и тестирование).

Роль ИИ в разработке

Маганти приписывает AI-агентам для программирования главную причину того, что этот проект наконец-то состоялся после восьми лет ожидания. Он систематически документирует, где ИИ помог, а где был вреден, подкрепляя утверждения доказательствами из своего журнала проекта, транскриптов кодирования и истории коммитов.

Такой инструмент полезен для разработчиков, работающих с SQLite, которым нужен точный парсинг для форматировщиков, линтеров и расширений редакторов. Подход адаптации собственного кода парсера SQLite обеспечивает совместимость с точным поведением SQLite.