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)