Learn
Documentation built for researchers shipping production systems.
Navigate language fundamentals, epistemic mechanics, compiler internals, and domain guides from one structured learning hub.
快速开始
安装编译器，运行你的第一个 .sio 程序，并了解基础用法。
- Hello World
- 你的第一个程序
语言指南
核心语法与语义（与当前编译器保持一致）。
- 变量与类型
- 函数
- 控制流
认识论类型
将不确定性、置信度与溯源（provenance）作为一等数据。
- Knowledge<T>
- 不确定性
- 溯源（Provenance）
效果系统
通过 `with IO`、`with Panic`、`with Async` 以及自定义效果，让副作用显式化。
- IO
- 自定义效果
GPU 编程
Kernel 语法、`GPU` 效果，以及今天可用的部分。
单位（Units）
定义并跟踪单位，减少维度分析错误。
标准库
stdlib 概览、如何导入模块，以及如何生成 API 文档。
工具
CLI、格式化、lint、测试、REPL 以及 Language Server。
- LSP
示例
在仓库中哪里可以找到可运行的 Sounio 代码。
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)