Lisible par les personnes
Intentions et vues avant les détails du code.
En développement · langage ouvert
Verve.
Un logiciel qui garde le sens de votre demande.
Verve est un langage généraliste pour créer avec des agents et examiner le résultat par ses responsabilités, garanties et conséquences.
Explorer le langageLa personne décide du sens. Verve le garde visible jusqu’à la machine.
01PersonneDéfinit l’objectif
02AgentRéalise l’ingénierie
03VervePréserve l’accord
04MachineExécute et vérifie
La carte du programme
Un système que l’on peut lire.
Chaque responsabilité déclare son intention. La carte vient du code et montre où se trouve chaque décision.
Système
CommandesReçu
Payer une fois
L’unité essentielle
Une capability dit ce qu’elle promet.
Sa réalisation peut changer. Objectif, limites et preuves restent visibles.
CAPABILITYChargeOrder
01Objectif
Facturer une commande une seule fois.
02Contrat
Entrées, résultats et garanties.
03Autorité
Seulement les ressources accordées.
04Réalisation
Le code qui respecte l’accord.
Exemple conceptuel · syntaxe et outils en développement
Revue sémantique
Examinez les conséquences.
Un changement se présente par ses effets sur les personnes, le système et ses garanties.
Votre intentionRéessayer si le réseau échoue.
Responsabilité
L’objectif reste de facturer une fois.
Portée
Une nouvelle connexion demande votre décision.
Preuve
Chaque garantie indique comment elle a été vérifiée.
Votre décisionCe qui change vraiment.
Conçu pour cette manière de créer
Quatre choix de conception.
Écrivable par les agents
Rôles explicites ; les erreurs plausibles doivent se voir.
Certitude nommée
Prouvé, testé ou non vérifié : chaque mot a un sens.
Itération rapide
Vérification incrémentale et performance native comme objectifs mesurables.
L’état réel
Nous construisons Verve.
Le paradigme est défini. L’édition 1.0 et le compilateur Rust avancent par étapes ; les capacités seront annoncées avec des preuves.
LicenceApache 2.0