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 世界
- 你的第一个程式
语言指南
跟随当前编译器的核心语法和语义。
- 變數 & 類型
- 函數
- 控制流
知識類型
不確定性、信心和來源作為一等程式數據。
- 知識<T>
- 不确定性
- 血统
效果
使用 `with IO`, `with Panic`, `with Async`, 以及自定义效果，使副作用明确。
- IO
- 自定義效果
功能状态
Sounio标准库和语言特性的实现状态
- GPU編程
- 度量单位
- 標準庫
- 工具
- LSP
範例
在庫中找到可運行 Sounio 程式碼的位置。
- 万古霉素不确定性
編譯器內部結構 (Compiler Internals)
`souc` 編譯器嘅導覽地圖：前端、類型檢查、IR 同埋後端。
- Lexer & Parser
- 类型系统
- 效果系统
- 代碼生成
- 科学特性
规格说明
如何阅读Sounio语言规格说明，以及它与实现之间的差异。
- 語言規範 (v1.0.0)