Aver Playground

Playground

What is Aver? About WASM

GitHub

Loading…

drop .wasm · aver compile --target wasm

Arrow keys, esc, enter → Terminal.readKey()

Aver

A language designed for AI to write and humans to review.

Intent is explicit Every function can carry a prose description (?) explaining what and why.

Effects are tracked I/O, network, disk — declared in the type system with ! [Console.print]. No hidden side effects.

Verify blocks are specs verify add cases run as tests, act as documentation, guard against regressions.

Multiple backends Bytecode VM for dev, Rust codegen for deploy, WASM for browsers. Same source, same semantics.

fn divide(a: Int, b: Int) -> Result<Int, String>
    ? "Safe division. Returns Err on zero."
    match b
        0 -> Result.Err("Division by zero")
        _ -> Result.Ok(a / b)

verify divide
    divide(10, 2) => Result.Ok(5)
    divide(10, 0) => Result.Err("Division by zero")

GitHub README Language Guide crates.io

Native WASM

No emscripten. No GC. Tiny inline runtime. Just your code.

Direct compilation Aver has its own WASM codegen — it emits WASM bytecode directly, not through Rust or C. No emscripten, no wasm-bindgen, no glue code. The binary contains only your program logic and a tiny bump allocator.

Tiny binaries Snake ships at 6.0 KiB. Tetris is 10.9 KiB. A full roguelike with procedural generation is 29.2 KiB. --wasm-opt oz cuts current games by roughly half (48-59%).

Capability-based imports WASM modules import only the effects they declare: Terminal.print, Console.readLine, Time.sleep. The host provides implementations. No filesystem access, no network — unless you grant it.

Make your own Install Aver, compile to WASM, and drop the file here.

$ cargo install aver-lang
$ aver compile game.av --target wasm --wasm-opt oz
Compiled game.av → game.wasm (8.2 KiB, wasm-opt -Oz)

# drag game.wasm into the playground