学習
言語への明確な道筋。
次のステップを選んでください。各ガイドは実際のファイル、前提条件、既知の制約につながっています。
Sounio を始める英語の仕様が正式版です。入門ガイドの翻訳は、すべての技術ページの翻訳とレビューが完了したことを意味しません。
はじめに
コンパイラをインストールし、最初の .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)