Понятно человеку
Замысел и представления прежде деталей кода.
В разработке · открытый язык
Verve.
Программы, которые сохраняют ваш замысел.
Verve — универсальный язык для разработки с агентами, где результат можно оценить по обязанностям, гарантиям и последствиям.
Узнать о языкеЧеловек определяет смысл. Verve сохраняет его видимым до самой машины.
01ЧеловекОпределяет цель
02АгентВыполняет инженерную работу
03VerveСохраняет соглашение
04МашинаИсполняет и проверяет
Карта программы
Система, которую можно прочитать.
Каждая часть объявляет свою ответственность. Карта строится из кода и показывает, где принято каждое решение.
Система
ЗаказыКвитанция
Списать один раз
Главная единица
Capability говорит, что она обещает.
Реализацию можно менять. Цель, ограничения и доказательства остаются видимыми.
CAPABILITYChargeOrder
01Цель
Списать оплату за заказ только один раз.
02Контракт
Входы, результаты и гарантии.
03Полномочия
Только предоставленные ресурсы.
04Реализация
Код, выполняющий соглашение.
Концептуальный пример · синтаксис и инструменты в разработке
Смысловая проверка
Проверяйте последствия.
Изменение показывается через его влияние на людей, систему и её гарантии.
Ваш замыселПовторить попытку при сбое сети.
Ответственность
Цель прежняя: списать только один раз.
Область
Новое соединение требует вашего решения.
Подтверждение
Для каждой гарантии указан способ проверки.
Ваше решениеЧто меняется на самом деле.
Для такого способа разработки
Четыре решения в основе дизайна.
Удобно агентам
Явные роли; правдоподобные ошибки должны быть заметны.
Ясная степень уверенности
Доказано, протестировано или не проверено: каждое слово имеет точный смысл.
Быстрая итерация
Инкрементальная проверка и нативная скорость как измеримые цели.
Реальное состояние
Мы создаём Verve.
Парадигма определена. Редакция 1.0 и компилятор на Rust создаются поэтапно; о возможностях расскажем вместе с подтверждениями.
ЛицензияApache 2.0