函数

函数仍然保持表达式导向，而 effect 注解仍然是公开合同里标记副作用的方式。

今日已验证

• 显式 with ... effect 仍然是语言真实合同的一部分。
• 局部类型推断在直接绑定和参数场景下仍然有效。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。

当前限制

• 更完整的 handler 模型已经存在于设计中，但执行支持仍然不均衡。
• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。

在这个仓库中验证

fn add(a: i32, b: i32) -> i32 {
    a + b
}

fn log(msg: string) with IO {
    println(msg)
}