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)