1.Bend работает БЫСТРО

Bend компилируется в машинный код. На одном ядре он работает почти так же быстро, как C. Один и тот же бинарник может одновременно работать на шестнадцати ядрах или на GPU, достигая ускорения в сто раз по сравнению с одним ядром.

2.Bend компилируется БЫСТРО

Проверка типов Bend — это проверка доказательств, как в Lean и Rocq. Обычно это занимает минуты на среднем кодбейсе. Bend справляется за секунду, позволяя AI-агентам проверять код после каждого изменения.

3.Bend ПАРАЛЛЕЛЕН

Без потоков, без блокировок, без ядер для написания. Достаточно разделить работу на две части — и Bend распределит вызовы по всем доступным ядрам, а затем объединит результаты. Вот как функция pow2 работает на 4096 ядрах GPU:

4.Bend БЛОКИРУЕТ ошибки — с помощью доказательств

Как довериться коду, который никогда не читал? Потребовав доказательство. LAWS.bend — место, где объявляются законы. После этого никакой AI не сможет внедрить ни одну строку, нарушающую их. Вот как это защищает игру:

Закон: победа невозможна

Новая фишка:

"Claude, сделай доску оборачивающейся"

Без LAWS.bend:

Законы нарушены. Ошибка AI: внедрена.

С LAWS.bend:

Законы соблюдены. Ошибка AI: заблокирована!

Без LAWS.bend баг попал в продакшн. С LAWS.bend AI пришлось повторять попытки, пока не построила стену и не доказала, что закон соблюдается. Внедрить баг математически невозможно: это теорема.

LAWS.bend

# LAW: no move sequence leads to victory.
law you_cant_win:
  for moves: List<Move>            # any sequence of moves
  board = replay(start(), moves)   # replayed from the start
  is_won(board) == False{}         # never leads to victory

PROOF.bend

# PROOF: you_cant_win holds.
def Laws.you_cant_win(moves):
  # ... written by the AI

LAWS.bend — это AGENTS.md, поддерживаемый доказательствами. "Не допускай ошибок" теперь проверяется типами.

5.Начало работы

5.1.Установка

curl -fsSL https://bend-lang.com/install.sh | sh

5.2.Скажи своему агенту использовать Bend

Добавь это в AGENTS.md:

When using Bend:
- run `bend guide` to learn it
- use `LAWS.bend` to keep important rules
- run `bend PROOF.bend` before committing
- parallelize the code whenever possible

Затем просто скажи: "use Bend"!

5.3.Наслаждайся безбаговыми, быстрыми приложениями

Подсказки: попроси агента написать законы для всего, что не должно сломаться, и распараллелить всё, что должно работать быстро. Bend молодой язык: если что-то пойдёт не так, попроси открыть issue. Bend лучше всего работает на бэкенде, на Linux и macOS. Удачи! <3

6.Ссылки

Гайд: GUIDE.md — полное описание языка; bend guide выводит его в терминал.

Статья: BendTT — аффинная зависимая теория типов, основа Bend.

Статья: BendRT — параллельная среда выполнения для CPU и GPU, виртуальная машина.

Bend продолжает развиваться. Ожидайте ошибок и, пожалуйста, сообщайте о них.