Static typing
Compile-time validation, explicit API contracts, and tooling-friendly source code.
Python-inspired. Native by design.
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
Compile-time validation, explicit API contracts, and tooling-friendly source code.
Native binaries and predictable performance are part of the language direction.
Structs model ordinary data, classes model identity, and protocols describe behavior.
Safe defaults without forcing everyday code into low-level ownership syntax.
Public specifications
The normative source-level definition of the Rethon programming language.
langspec.rethon.org SoonThe future public contract for compiler behavior, phases, diagnostics, and artifacts.
compspec.rethon.org SoonThe future public contract for runtime behavior, memory services, async support, and execution.
runspec.rethon.org