Legible para personas
Intenciones y vistas antes del detalle del código.
En desarrollo · lenguaje abierto
Verve.
El software conserva lo que quisiste decir.
Verve es un lenguaje de propósito general para construir con agentes y revisar el resultado por sus responsabilidades, garantías y consecuencias.
Explorar el lenguajeLa persona decide el significado. Verve lo mantiene visible hasta la máquina.
01PersonaDefine el propósito
02AgenteHace la ingeniería
03VerveConserva el acuerdo
04MáquinaEjecuta y comprueba
El mapa del programa
Un sistema que se puede leer.
Cada responsabilidad declara su intención. El mapa nace del código y permite ver dónde vive cada decisión.
Sistema
PedidosRecibo
Cobrar una vez
La unidad esencial
Una capability dice qué promete.
Su realización puede cambiar. El propósito, los límites y la evidencia siguen a la vista.
CAPABILITYChargeOrder
01Propósito
Cobrar un pedido una sola vez.
02Contrato
Entradas, resultados y garantías.
03Autoridad
Solo los recursos concedidos.
04Realización
El código que cumple el acuerdo.
Ejemplo conceptual · sintaxis y herramientas en desarrollo
Revisión semántica
Revisa consecuencias.
Un cambio se presenta por lo que altera para las personas, el sistema y sus garantías.
Tu intenciónReintentar si falla la red.
Responsabilidad
El objetivo sigue siendo cobrar una vez.
Alcance
Una nueva conexión pide tu decisión.
Evidencia
Cada garantía dice cómo se comprobó.
Tu decisiónLo que cambia de verdad.
Hecho para esta forma de construir
Cuatro decisiones de diseño.
Escribible por agentes
Roles explícitos; los errores plausibles deben hacerse visibles.
Certeza con nombre
Demostrado, probado o sin comprobar: cada palabra tiene un significado.
Rápido al iterar
Comprobación incremental y rendimiento nativo como metas medibles.
El estado real
Estamos construyendo Verve.
El paradigma está definido. La edición 1.0 y el compilador en Rust avanzan por etapas; las capacidades se anunciarán con evidencia.
LicenciaApache 2.0