例

このリポジトリには「動作が分かっている」Sounio コードの良い参照が 2 つあります:

• tests/run-pass/: CI で使う小さく焦点の絞られたプログラム（構文学習に最適）
• examples/: より大きなデモやドメインコード（Aspirational や feature flags が必要なものもあります）

テストフィクスチャを実行する

souc run tests/run-pass/hello.sio
souc run tests/run-pass/for_in_loops.sio
souc check tests/run-pass/async_basic.sio

COVID 2020 カーネル（型による拒否）

2020年3月のカーネルで、時間有効性と認識的制約を souc check で確認します。

souc check tests/run-pass/covid_2020_kernel.sio

期待される動作: 有効期間と信頼度の制約を満たす場合のみコンパイルが成功します。

バンコマイシン伝播（臨床安全）

伝播デモと拒否フィクスチャを合わせて実行します。

souc check tests/run-pass/vancomycin_propagation.sio
souc check tests/compile-fail/vancomycin_low_conf.sio

期待される動作:

• 伝播デモは成功し、不確実性の伝播を表示
• 低信頼度処方フィクスチャはコンパイル時に失敗（epsilon）

代表的なスニペット

Hello world:

fn main() with IO {
    println("Hello, Sounio!")
}

Match:

let y = match x {
    0 => 10
    1 => 20
    _ => 30
}

Knowledge<T> の明示的 unwrap:

let k = Knowledge { value: 42.0 }
let x: f64 = k.unwrap("accepted for demo")

次へ

• ツール
• 言語ガイド
• 認識論ガイド