IO

IO effect は今も、公開例におけるコンソール、ファイル、ホストとのやり取りの実用的な境界です。

本日時点で確認済み

• with IO は外側の境界に置き、残りの pipeline はできるだけ pure に保ってください。
• 明示的な with ... effect は現在も言語契約の実体です。
• run や build の前に、まず souc check を使ってください。

現在の注意点

• run が使えるかどうかは、選んだ artifact と runtime path に依存します。
• 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。

このリポジトリで確認する

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