v0.1.0 — SIGTBD 2026

The initial release of stone, a monolithically-typed programming language where the only primitive type is set.

Presented at SIGTBD 2026, MIT CSAIL.

Nothing is certain, but everything is set in stone.

Highlights

• One type: set. Booleans, natural numbers, ordered pairs, functions, lists, graphs, and finite maps all emerge from pure set theory.
• Three syntax themes: Default, Mathematical, and Zen
• Five-function standard library: cond, succ, pred, fst, snd — all defined in stone itself
• O(2^n) → O(1): the largest asymptotic improvement in the history of programming language design

Assets

• stone-sigtbd2026.pdf — the conference paper