bendlang/bend

lenguaje de programación (TypeScript toolchain, 20.797★, Apache-2.0) diseñado específicamente para código escrito por agentes. El eslogan del README lo dice: "In the post-AGI economy, humans will eventually stop writing and reading code, but we still need an ambiguity-free language to communicate our intents to the AIs building the world around us. Bend is that language." El compilador genera ejecutables nativos (CPU multinúcleo y GPU unificada vía HVM2) y promete rendimiento cercano a C en CPU y a CUDA en GPU. Pero la killer feature es LAWS.bend: declaras invariantes del dominio ("el jugador nunca puede ganar", "el saldo total siempre es cero", "este array nunca se lee fuera de rango"), y el compilador exige prueba matemática antes de aceptar cualquier cambio. La analogía explícita del README: LAWS.bend es un AGENTS.md respaldado por prueba. Documentación: https://bend-lang.com, Discord, papers BendTT (affine dependent type theory) y BendRT (parallel runtime).