GitHub developer creates Vera programming language designed for AI models to write code; uses no variable names, mandatory contracts, and typed effects to help LLMs maintain coherence and verify correctness.

GitHub - aallan/vera: Vera: a programming language designed for LLMs to write

Vera (v-ERR-a) is a programming language designed for large language models to write. The name comes from the Latin veritas (truth). Programs compile to WebAssembly and run at the command line or in the browser. public fn safe_divide(@Int, @Int -> @Int) requires(@Int.1 != 0) ensures(@Int.result == @Int.0 / @Int.1) effects(pure) { @Int.0 / @Int.1 } There are no variable names. @Int.0 is the most recent Int binding; @Int.1 is the one before. The requires clause is a precondition the compiler check...