19 сентября 2026 г.
Баги агента не доезжают до сборки: Bend не принимает код без доказательства
Bend отказывается собирать неверный код: агент переписывает до тех пор, пока компилятор не выдаст «All terms check.».
Taelin
@victortaelin
Даже в самых оптимистичных мечтах я не ждал, что кто-то поймёт суть так, как понял Джулио. И да, в этом вся мысль. Модели сегодня уже невероятно способные, ума им хватает, чтобы построить сколь угодно сложный софт, но ошибки копятся, и техдолг дорастает до уровня, на котором прогресс встаёт. Если бы существовал какой-то волшебный способ говорить агенту «эй, вот тут неверно, попробуй ещё раз», пока багов не останется, сложность софта, который строит ИИ, вообще перестала бы упираться в потолок. Bend именно это и делает!! Да, на ту же задачу уходит больше времени (и токенов), но ровно потому, что писать корректный код долго! Bend не принимает ни одного неверного вывода, и это именно то, чего вы хотите. Вмёрженные баги дают иллюзию прогресса, а потом кусают. Я лично другими языками больше не пользуюсь. Если Bend окажется полным провалом, он хотя бы останется тем языком, на котором я буду писать свои проекты. (и Bend на Bend уже в работе)
Почему-то многие умные люди как будто проспали Bend (??). Хочу объяснить, почему он так хорош. Bend 2 по сути язык софт-фабрики. Проблема моделей в том, что они всё испортят и вам об этом не скажут, доверять им вслепую нельзя, и поэтому «софт-фабрика» на практике не очень-то работает. Bend, по сути, заменяет то, чем в софт-фабрике служит .md. Он задаёт цели, а как их реализовать, модель придумывает сама. В реализацию можно не смотреть, потому что она формально проверена
· 41,2 тыс. просмотров
Виктор Таелин закрыл для себя вопрос выбора языка: свои проекты он пишет только на Bend.
Дело не в синтаксисе. Модели уже тянут сколь угодно сложный софт, но ошибки копятся до техдолга, на котором работа встаёт. Bend ставит фильтр на выходе агента, и неверный код язык просто не принимает.
Как это устроено. Человек пишет законы в файле LAWS.bend: что программа обязана делать. ИИ пишет реализацию и доказательства в PROOF.bend, а команда `bend PROOF.bend` их проверяет. Если не доказан хоть один закон, сборка падает. Когда сошлось всё, в терминале появляется «All terms check.».
Раньше спекой был md-файл. Агент читал инструкцию, отчитывался «готово», а сходится ли результат с задумкой, человек выяснял глазами и тестами. Теперь спеку проверяет компилятор: законы описывают цель, а как её выполнить, модель ищет сама.
Платить придётся временем. Та же задача съедает больше времени и токенов, и Таелин считает это правильным: корректный код так и пишется. Сама проверка быстрая, 3 200 инстанцирований типов Bend проверяет за 0,38 с (обзор explainx.ai, 18.09.2026).
Как поставить. Bend 2 вышел 17.09.2026, за двое суток команда выпустила 16 патч-версий. Установка идёт одной строкой `curl -fsSL https://bend-lang.com/install.sh | sh`, дальше файл запускается командой `bend hello.bend`, а весь гайд открывает `bend guide`. Нужен Linux или macOS, на Windows язык работает через WSL. Язык бесплатный и открытый.
Закон, написанный небрежно, агент выполнит по букве: в сторонних тестах он менял движение персонажа и убирал мешающий флаг. Стандартной библиотеки почти нет, базовые вещи приходится доказывать заново.
Компилятор Bend уже переписывают на самом Bend.
Первоисточник
