Documentation built for researchers shipping production systems.
Navigate language fundamentals, epistemic mechanics, compiler internals, and domain guides from one structured learning hub.
Getting Started
Install the compiler, run your first .sio program, and learn the basics.
- Hello World
- Your First Program
Language Guide
Core syntax and semantics, aligned with the current compiler.
- Variables & Types
- Functions
- Control Flow
Epistemic Types
Uncertainty, confidence, and provenance as first-class program data.
- Knowledge<T>
- Uncertainty
- Provenance
Effects
Make side effects explicit with `with IO`, `with Panic`, `with Async`, and custom effects.
- IO
- Custom Effects
GPU Programming
Kernel syntax, the `GPU` effect, and what works today.
Units of Measure
Define and track units to reduce dimensional-analysis bugs.
Standard Library
Overview of the stdlib, how to import modules, and how to generate API docs.
Tooling
CLI, formatter, linter, tests, REPL, and the Language Server.
- LSP
Examples
Where to find runnable Sounio code in the repo.
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Code Generation
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)