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
setin 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