a language that shows its work
Planes is a small programming language you can read aloud. It answers two questions most languages cannot: what would this program touch in the outside world — computed by reading it, never by running it — and where did this value come from, for any value, all the way back. It has two independent implementations, in Python and in JavaScript, that are checked against each other on every change. Its numbers are exact. Nothing below is compiled, bundled or transpiled: these pages fetch the real source and run it.
Source, specifications and the test gate:
github.com/rmichaelthomas/planes. These pages are static files — serve the folder with
python3 -m http.server and open it, or read them from the
repository. There is no build step anywhere in this project.