A programming language designed for AI agents and the people directing them. The whole language fits on a card of about 8,000 tokens, so an agent can hold all of it in mind while it works.
AIL is built for efficiency at both ends. For the agent: dense syntax, one canonical layout, and a compiler that answers structured questions, so it can ask what a function is allowed to do instead of guessing. For the machine: memory-safe native code for macOS, Linux and Windows, with no C compiler, no LLVM and no package manager in the loop. The compiler is written in AIL and builds itself.
The code is written by AI agents under one human designer who makes the design calls. Every change has to pass test gates on real machines, and every decision is written down: more than 780 design records so far.
fn half(n int) int
requires n >= 0 # contract: false traps
ensures result * 2 <= n # `result` is the returned value
n / 2
fn main()
print("half of 9 is {half(9)}")
$ ail run half.ail · also: ail build, ail test, ail fmt, ail check --json