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)