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 プログラミング
カーネル構文、`GPU` エフェクト、そして現状。
単位（Units）
単位を定義・追跡して次元解析のバグを減らします。
標準ライブラリ
stdlib の概要、モジュールの import 方法、API ドキュメントの生成。
ツール
CLI、フォーマッタ、リンタ、テスト、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)