Skip to main content

intro

void is a systems programming language with rust-like syntax, a borrow checker, and AOT/JIT compilation.

it is designed to be memory safe, fast, and expressive — without sacrificing low-level control.

warning

void is currently in early development. the compiler is not yet ready for public use.

goals​

  • memory safety without a garbage collector
  • zero cost abstractions
  • expressive type system with Result[T, E] and Option[T]
  • async/await with custom propagation via traits
  • self-hosting compiler written in void itself

roadmap​

stagestatus
lexer✅ done
parser✅ done
type checker✅ done
codegen🔧 in progress
memory allocators⏳ planned
module system⏳ planned
stdlib⏳ planned
CLI / build system⏳ planned
self-hosting bootstrap⏳ planned

quick example​

import std.io.stdout;
async fn main(args: Array[str]) uint8 {
    stdout.println("hello, void");
    return 0;
}