Features
The core language is documented under Language: syntax, types, ownership, and the reasoning behind them. This section is the layer above that — what the toolchain can do once the code type-checks.
| Page | What it covers |
|---|---|
| Concurrency | Green tasks, Promise, channels, Select, Promise.blocking for real threads, and CPU parallelism over disjoint bands |
| C FFI | extern declarations, @cLayout/@cSig layout verification, struct-by-value calls, @noCopy handles |
| JavaScript target | emit-js: the same source compiled to JS for the browser, and what differs from the native backend |
| Annotations & Builtins | Every @annotation the compiler understands, and the builtin functions available without an import |
| Packages | milo add, the GitHub-as-registry model, milo.lock, and publishing your own |
| AI-assisted development | Why the compiler catches machine-generated bugs at compile time, and how to drive it from an agent |
| Benchmarks | Measured against C, Rust, and Go, with the reproduction script |
Tooling lives with onboarding: IDE setup for the LSP and editor extensions, Debugging for DWARF, lldb, and the guard wrappers.