人が読める
コードの詳細より先に意図と見取り図を。
意味を決めるのは人。Verveはその意味を実行まで見える形に保ちます。
01人目的を決める
02エージェント実装を担う
03Verve約束を保つ
04マシン実行し、検証する
プログラムの地図
読めるシステム。
各責務が意図を宣言します。地図はコードから生成され、判断がどこにあるかを示します。
システム
注文領収書
一度だけ請求
基本の単位
Capabilityが約束を示す。
実装は変えられます。目的、境界、根拠は見えるままです。
CAPABILITYChargeOrder
01目的
注文への請求は一度だけ。
02契約
入力、結果、保証。
03権限
与えられた資源だけ。
04実装
約束を果たすコード。
概念例 · 構文とツールは開発中
意味に基づくレビュー
影響を確かめる。
変更が人、システム、保証に何をもたらすかを示します。
あなたの意図通信に失敗したら再試行する。
責務
一度だけ請求する目的は変わりません。
範囲
新しい接続には判断が必要です。
根拠
保証ごとに検証方法を示します。
あなたの判断本当に変わること。
この開発方法のために
四つの設計判断。
エージェントが書ける
役割を明確にし、もっともらしい誤りを見つけやすく。
確かさに名前を
証明済み、テスト済み、未検証。それぞれ意味が異なります。
素早く反復
段階的な検証とネイティブ性能を測定可能な目標に。
現在の状態
Verveを開発しています。
パラダイムは定義済みです。1.0版とRustコンパイラは段階的に開発中。機能は根拠とともに発表します。
ライセンスApache 2.0