TantuA small language with big ideas

Python-readable syntax, static types with no null, and Go-style concurrency, compiled to bytecode and run on a hand-built stack VM.

Get started

Open the playground

Language tour

Readable by design

Indentation-based blocks and a familiar, expression-oriented syntax. If you can read Python, you can read Tantu.

No null, no surprises

Absence and failure are values, Option[T] and Result[T, E], unwrapped by match or the ? operator. The type checker has your back.

Concurrency without shared state

Lightweight fibers pass messages over typed channels (CSP). select waits on many at once. Deterministic and testable.

Nothing hidden

A real pipeline (lexer → parser → checker → compiler → linker → stack VM) that you can inspect end to end in the playground.

Tantu in thirty seconds

tantu

enum Shape:
    Circle(Float)
    Rect(Float, Float)

fn area(s: Shape) -> Float:
    match s:
        Circle(r)  => 3.14159 * r * r
        Rect(w, h) => w * h

fn main() -> Unit:
    print(area(Circle(2.0)))
    print(area(Rect(3.0, 4.0)))

Try it