Vera: a programming language designed for machines to write
github.com
April 29, 2026
9 min read
🔥🔥🔥🔥🔥
47/100
Summary
Vera is a programming language specifically designed for large language models, allowing them to write code. Programs written in Vera compile to WebAssembly and can be executed from the command line or in web browsers.
Key Takeaways
- Vera is a programming language designed specifically for large language models, compiling to WebAssembly for execution in command line or browser environments.
- The language eliminates variable names, using structural references instead, and mandates explicit contracts for all functions to ensure checkability of behavior.
- Vera addresses common issues faced by language models, such as coherence and naming-related errors, by enforcing strict typing and verification through preconditions and postconditions.
- The compiler provides detailed error diagnostics tailored for models, including specific instructions on how to correct issues based on the function's contract.
Community Sentiment
Positives
- The idea of using effect type systems for LLMs could enhance safety by allowing precise reasoning about a program's capabilities before runtime, fostering trust in agent-created code.
- The empirical testing of Vera against established languages like Go presents an intriguing opportunity to evaluate LLM performance in a new context.
Concerns
- Vera's lack of naming conventions may hinder LLMs' coding effectiveness, as models perform better with languages that minimize mental models and maximize clarity.
- The absence of existing resources, examples, and community support for Vera raises significant doubts about its practicality and usability for LLMs.
- Concerns about the fundamental misunderstandings in Vera's design suggest it may not align with the successful strategies employed by current coding agents.