Für Menschen lesbar
Absichten und Ansichten vor Codedetails.
In Entwicklung · offene Sprache
Verve.
Software, die deine Absicht bewahrt.
Verve ist eine universelle Programmiersprache, um mit Agenten zu entwickeln und Ergebnisse anhand von Verantwortung, Garantien und Folgen zu prüfen.
Sprache entdeckenMenschen bestimmen die Bedeutung. Verve hält sie bis zur Maschine sichtbar.
01MenschBestimmt das Ziel
02AgentÜbernimmt die Entwicklung
03VerveBewahrt die Vereinbarung
04MaschineFührt aus und prüft
Die Programmkarte
Ein System, das man lesen kann.
Jede Verantwortung erklärt ihre Absicht. Die Karte entsteht aus dem Code und zeigt, wo Entscheidungen liegen.
System
BestellungenBeleg
Einmal abbuchen
Die wesentliche Einheit
Eine Capability sagt, was sie verspricht.
Ihre Umsetzung kann sich ändern. Zweck, Grenzen und Belege bleiben sichtbar.
CAPABILITYChargeOrder
01Zweck
Eine Bestellung nur einmal abbuchen.
02Vertrag
Eingaben, Ergebnisse und Garantien.
03Befugnis
Nur freigegebene Ressourcen.
04Umsetzung
Code, der die Vereinbarung erfüllt.
Konzeptionelles Beispiel · Syntax und Werkzeuge in Entwicklung
Semantische Prüfung
Folgen prüfen.
Eine Änderung zeigt, was sie für Menschen, das System und seine Garantien verändert.
Deine AbsichtBei Netzfehler erneut versuchen.
Verantwortung
Das Ziel bleibt: nur einmal abbuchen.
Umfang
Eine neue Verbindung braucht deine Entscheidung.
Nachweis
Jede Garantie zeigt, wie sie geprüft wurde.
Deine EntscheidungWas sich wirklich ändert.
Für diese Art des Entwickelns
Vier Designentscheidungen.
Für Agenten schreibbar
Klare Rollen; plausible Fehler sollen sichtbar werden.
Benannte Gewissheit
Bewiesen, getestet oder ungeprüft: Jedes Wort hat eine Bedeutung.
Schnell iterieren
Inkrementelle Prüfung und native Leistung als messbare Ziele.
Der tatsächliche Stand
Wir bauen Verve.
Das Paradigma steht. Edition 1.0 und der Rust-Compiler entstehen schrittweise; Fähigkeiten werden mit Nachweisen angekündigt.
LizenzApache 2.0