Skip to main content

Early Tooling Preview

A language that gets out of your way.

Draton is a statically-typed compiled language with inferred ownership — no GC pauses, no lifetime annotations, no boilerplate. These docs cover the language, the toolchain, and everything in between.

What's here

Everything from first principles to internals. Whether you're writing your first Draton program or digging into how the ownership checker works, it's in here.

  • Language: syntax, contracts, control flow, modules, classes, and builtins.
  • Tooling: build, run, format, lint, tasks, and the LSP.
  • Compiler & runtime: pipeline, inferred ownership, bare-metal layers, and self-hosting.
  • Contributing: anti-drift policy, migration boundaries, and release workflow.