Alatyr

A systems programming language whose ceiling of expressiveness equals the assembler’s — with abstractions that stay transparent in code generation. You always know what the machine does.

Get started Download

Predictable to the floor.

core premise

One language.
Every layer.

no tier ladder
codegen

Transparent
lowering.

Every construct emits code by a documented rule, so you predict the assembler from the source without running the compiler.

cost

Nothing
hidden.

No hidden allocation, no hidden control flow, no vtables — behaviour follows from the source, its manifest, and the language conventions.

verification

Correct,
or a trap.

Operations are checked by default; inside an unchecked scope they are hardware-defined, never whatever suits the compiler.

One form,
all the way down.

There is one declaration form — name : type = value. Types, functions and generics are values written the same way, so there is nothing new to learn per layer.

name := valuedeclare and infer the type from the value
fn(…) -> Ta value-expression, exactly as struct {…} is
pub · mut · comptimethree modifiers on three orthogonal axes
declarations.alfrom the spec
## a declaration binds a name to whatever
## its right-hand side evaluates to

Point   := struct { x : u64, y : u64 }
Meters  := brand(u64)
add     := fn(a : u64, b : u64) -> u64 { a + b }
Vec     := fn(T : type) -> type { struct { ptr : ptr(T), len : usize } }
comptime PI : f64 = 3.14159
mut count : u64 = 0