Atoll is a statically typed language designed to carry application code from source text through a purpose-built compiler and into a WebAssembly runtime. This book is both a guide for people writing Atoll and a technical reference for people building the compiler and runtime.
The book is being rebuilt from the repository’s existing docs/ tree. Those
documents are valuable source material, but they are not automatically
authoritative: some describe earlier designs or use names that the current
compiler no longer accepts.
Choose a path
- Learn the language for the shortest route into current Atoll.
- Read the language guide for task-oriented explanations and examples.
- Consult the specification for normative syntax and semantics.
- Understand the compiler for the source-to-WebAssembly pipeline.
- Inspect the IRs for HIR, MIR, and WebAssembly IR contracts.
- Explore the runtime for execution, memory, suspension, and host integration.
Trust model
Every page carries a documentation status:
| Status | Meaning |
|---|---|
| Verified | Checked against current implementation code and focused tests. |
| Provisional | Useful and reviewed, but some details still need implementation-level verification. |
| Planned | Defines the intended home and scope for content that has not been rewritten yet. |
When prose conflicts, the current grammar/parser, semantic checks, IR definitions, ABI types, runtime code, and executable tests outrank legacy design documents—in that order appropriate to the subject.