void.

a systems programming language

AOT / JITborrow checkerrust-like syntaxv0.1.0-alpha

main.void

import std.io.stdout;
import std.io.net.HttpClient as Http;

async fn main(args: Array[str]) uint8 {
    let http = Http.new();
    let res = http.get("api.example.com/data").await?;

    stdout.println("status: {}", res.status);
    return 0;
}

memory safe

borrow checker eliminates use-after-free and data races at compile time

zero cost abstractions

generics, traits, and async with no runtime overhead

expressive types

Result[T, E], Option[T], and custom ? propagation via traits

aot + jit

compile ahead-of-time or run with jit for fast iteration