IO

IO effect 仍然是公开示例里处理控制台、文件和宿主交互的实际边界。

今日已验证

• 把 with IO 放在外层边界，其余流水线尽量保持纯净。
• 显式 with ... effect 仍然是语言真实合同的一部分。
• 先运行 souc check，再考虑 run 或 build。

当前限制

• run 是否可用取决于你选择的构件和运行时路径。
• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。

在这个仓库中验证

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