Documentation

On this page 6

Home is a modern programming language for systems, apps and games, plus a toolchain that also type-checks and builds TypeScript. Start with the guide if you are new; the rest of this page is a map.

Every page says plainly what is usable today and what is still maturing. The capability matrix is the single honest reference if you only read one thing.

Start here

Language features

  • Pattern Matching - exhaustive match with guards, ranges and destructuring.
  • Type System - inference, unions, null safety and Result types.
  • Generics - monomorphized generics with trait bounds.
  • Macros - hygienic macros over the real AST.
  • FFI - calling C without a binding generator.

Systems concerns

Toolchain

Use cases

Status and parity

Released under the MIT License.