synsema

Synsema es un lenguaje de programación diseñado específicamente para agentes de IA, que se distingue de frameworks o bibliotecas al hacer de la observabilidad, la seguridad, la coordinación multiagente, la interacción humana y la integración con LLM primitivas nativas del lenguaje. Compila a un único binario nativo sin runtime, sin GIL y con soporte real de múltiples núcleos. Las características clave incluyen: - **Rendimiento**: Los benchmarks muestran que iguala o supera a Go en rendimiento HTTP (por ejemplo, 47.2k req/s frente a 42.8k para endpoints de texto plano). - **Seguridad**: Seguridad de capacidades denegada por defecto a nivel de lenguaje: sin acceso a red, archivos o bases de datos sin declaraciones `require` explícitas. Incluye autenticación de rutas declarativa, validación de entrada y registros de auditoría automáticos. Etiquetas opcionales de flujo de información rastrean valores sensibles a través de operaciones y ramas, con `declassify` como única vía de escape. El soporte de atestación vincula el código en ejecución con su fuente en despliegues confidenciales. - **Integración con LLM**: Operaciones integradas `analyze`, `decide` y `generate` con proveedores intercambiables (Anthropic, OpenAI, Ollama). Las respuestas se validan automáticamente con reintentos. - **Interacción Humana**: Primitivas `approve`, `ask`, `confirm` y `show` para puertas de aprobación y preguntas. - **Coordinación Multiagente**: Los agentes se comunican mediante pizarra (estado compartido con versionado), señales y bloqueos de recursos. `spawn` crea agentes con hilos del sistema operativo. - **Concurrencia**: Paralelismo real de múltiples núcleos mediante `parallel_map` y `chunk`, con fan-out limitado y semántica de fallo rápido. - **Servidor Web**: Servidor HTTP nativo con enrutamiento, autenticación, validación, paginación, limitación de velocidad, streaming SSE, TLS/HTTPS automático, HTTP/2, hosts virtuales y proxy inverso, sin necesidad de proxy externo. - **Observabilidad**: Primitivas `trace`, `log`, `measure` y `checkpoint`, además de diagnósticos de error enriquecidos con instantáneas de variables y sugerencias de recuperación. - **Memoria del Agente**: Seguimiento de progreso, memoria persistente (`remember`/`recall`) y reglas de propietario con niveles (debe/debería/evitar/preferir). - **Diseño del Lenguaje**: Sintaxis similar al inglés (por ejemplo, `let name be "World"`, `task greet(person)`), operador de tubería, operaciones intencionales (`where`, `collect`, `apply`, `reduce`), tipos personalizados y sintaxis plana estilo documento para archivos `.fsyn`. - **Herramientas**: CLI con comandos `run`, `serve`, `check`, `repl`, `ast`, `tokens` y `testgen`. Genera automáticamente pruebas de casos límite. Incluye una extensión de VS Code y una habilidad de IA para asistentes de codificación como Claude Code. La instalación es un único binario autocontenido mediante curl o npm, con compilaciones desde el código fuente mediante Cargo. El motor es modular, organizado en crates para núcleo, capacidades, biblioteca estándar, agentes, runtime, LLM y CLI.