Vera: A Programming Language Designed for LLMs to Write — Contracts, No Variable Names, WebAssembly Target

GitHub / Hacker News·medium signal

Alasdair Allan released Vera, an MIT-licensed programming language explicitly designed for machine authorship. Every function requires explicit requires(), ensures(), and effects() clauses for mechanical verification. Variables have no names — @Int.0 is the most recent Int binding. Programs compile to WebAssembly and run at CLI or in browser. Includes 164 built-in functions, seven algebraic effects, contract-driven testing via Z3, and a 13-chapter spec. 101 points, 89 comments on HN.