Legível para pessoas
Intenções e vistas antes dos detalhes do código.
Em desenvolvimento · linguagem aberta
Verve.
Software que preserva o que você quis dizer.
Verve é uma linguagem de propósito geral para criar com agentes e revisar o resultado por responsabilidades, garantias e consequências.
Explorar a linguagemA pessoa define o significado. Verve o mantém visível até a máquina.
01PessoaDefine o propósito
02AgenteFaz a engenharia
03VervePreserva o acordo
04MáquinaExecuta e verifica
O mapa do programa
Um sistema que se pode ler.
Cada responsabilidade declara sua intenção. O mapa vem do código e mostra onde vive cada decisão.
Sistema
PedidosRecibo
Cobrar uma vez
A unidade essencial
Uma capability diz o que promete.
Sua realização pode mudar. Propósito, limites e evidências permanecem visíveis.
CAPABILITYChargeOrder
01Propósito
Cobrar um pedido uma única vez.
02Contrato
Entradas, resultados e garantias.
03Autoridade
Apenas os recursos concedidos.
04Realização
O código que cumpre o acordo.
Exemplo conceitual · sintaxe e ferramentas em desenvolvimento
Revisão semântica
Revise consequências.
Uma mudança é mostrada pelo que altera para as pessoas, o sistema e suas garantias.
Sua intençãoTentar novamente se a rede falhar.
Responsabilidade
O objetivo continua sendo cobrar uma vez.
Escopo
Uma nova conexão pede sua decisão.
Evidência
Cada garantia diz como foi verificada.
Sua decisãoO que realmente muda.
Feita para este modo de criar
Quatro decisões de design.
Escrita por agentes
Papéis explícitos; erros plausíveis devem ficar visíveis.
Certeza com nome
Demonstrado, testado ou não verificado: cada palavra tem um significado.
Rápida ao iterar
Verificação incremental e desempenho nativo como metas mensuráveis.
O estado real
Estamos construindo Verve.
O paradigma está definido. A edição 1.0 e o compilador em Rust avançam por etapas; as capacidades serão anunciadas com evidências.
LicençaApache 2.0