synsema

Synsema é uma linguagem de programação especificamente projetada para agentes de IA, distinguindo-se de frameworks ou bibliotecas ao tornar observabilidade, segurança, coordenação multiagente, interação humana e integração com LLMs primitivas nativas da linguagem. Ela compila para um único binário nativo, sem runtime, sem GIL e com suporte real a múltiplos núcleos. Os principais recursos incluem: - **Desempenho**: Benchmarks mostram que ela iguala ou supera Go em throughput HTTP (por exemplo, 47,2 mil req/s contra 42,8 mil para endpoints de texto simples). - **Segurança**: Segurança de capacidades com negação por padrão no nível da linguagem—sem acesso a rede, arquivos ou banco de dados sem declarações explícitas de `require`. Inclui autenticação declarativa de rotas, validação de entrada e logs de auditoria automáticos. Rótulos opcionais de fluxo de informações rastreiam valores sensíveis por operações e ramificações, com `declassify` como única exceção. Suporte a atestação vincula o código em execução à sua fonte em implantações confidenciais. - **Integração com LLMs**: Operações integradas `analyze`, `decide` e `generate` com provedores intercambiáveis (Anthropic, OpenAI, Ollama). As respostas são validadas automaticamente com novas tentativas. - **Interação Humana**: Primitivas `approve`, `ask`, `confirm` e `show` para portões de aprovação e perguntas. - **Coordenação Multiagente**: Agentes se comunicam via quadro-negro (estado compartilhado com versionamento), sinais e bloqueios de recursos. `spawn` cria agentes com threads do sistema operacional. - **Concorrência**: Paralelismo real de múltiplos núcleos via `parallel_map` e `chunk`, com fan-out limitado e semântica de falha rápida. - **Servidor Web**: Servidor HTTP nativo com roteamento, autenticação, validação, paginação, limitação de taxa, streaming SSE, TLS/HTTPS automático, HTTP/2, hosts virtuais e proxy reverso—sem necessidade de proxy externo. - **Observabilidade**: Primitivas `trace`, `log`, `measure` e `checkpoint`, além de diagnósticos de erro ricos com instantâneos de variáveis e sugestões de recuperação. - **Memória do Agente**: Rastreamento de progresso, memória persistente (`remember`/`recall`) e regras do proprietário com níveis (must/should/avoid/prefer). - **Design da Linguagem**: Sintaxe semelhante ao inglês (por exemplo, `let name be "World"`, `task greet(person)`), operador pipe, operações intencionais (`where`, `collect`, `apply`, `reduce`), tipos personalizados e sintaxe plana estilo documento para arquivos `.fsyn`. - **Ferramentas**: CLI com comandos `run`, `serve`, `check`, `repl`, `ast`, `tokens` e `testgen`. Gera automaticamente testes de casos extremos. Inclui uma extensão para VS Code e uma habilidade de IA para assistentes de codificação como Claude Code. A instalação é um único binário autossuficiente via curl ou npm, com builds a partir do código-fonte via Cargo. O motor é modular, organizado em crates para núcleo, capacidades, stdlib, agentes, runtime, LLM e CLI.