Vera – A language designed for machines to write
8 hours ago
- #LLM programming
- #WebAssembly
- #verification
- Vera is a programming language designed for LLMs to write code, not humans, with verification as a core principle.
- It addresses LLMs' coherence issues by replacing variable names with structural references (@T.n) to eliminate naming hallucinations.
- All functions require explicit contracts (requires, ensures, effects) that the compiler verifies, ensuring correctness and side-effect tracking.
- Vera includes algebraic effects for I/O, inference, and asynchronous operations, composable and type-checked.
- It compiles to WebAssembly, running on CLI via wasmtime or in browsers with a self-contained JavaScript runtime.
- Error messages provide actionable, natural language feedback to guide LLMs in fixing issues.
- Agent support includes SKILL.md for language reference, AGENTS.md for instructions, and CLAUDE.md for project orientation.
- Benchmarks show varied LLM performance in Vera, with some models achieving higher correctness rates compared to Python or TypeScript.