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
- 自定义效果
Feature Status
Implementation status for Sounio's Standard Library and Language Features
- GPU 编程
- 单位（Units）
- 标准库
- 工具
- LSP
示例
在仓库中哪里可以找到可运行的 Sounio 代码。
- Vancomycin Uncertainty
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Code Generation
- Scientific Features
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)