Rethon

Python-inspired. Native by design.

Readable systems programming for long-lived software.

Rethon pairs Python-like clarity with static typing, ahead-of-time compilation, memory safety by default, and a specification-first language design.

struct Point:
    x: int
    y: int

protocol Drawable:
    def draw() -> None

def distance(a: Point, b: Point) -> float:
    dx = b.x - a.x
    dy = b.y - a.y
    return sqrt(dx * dx + dy * dy)

Language commitments

A small core built for clarity.

Static typing

Compile-time validation, explicit API contracts, and tooling-friendly source code.

AOT compilation

Native binaries and predictable performance are part of the language direction.

Value-first design

Structs model ordinary data, classes model identity, and protocols describe behavior.

Memory safety

Safe defaults without forcing everyday code into low-level ownership syntax.

Public specifications

Specification portals