变量与类型

变量和局部绑定仍然比较直接，但在科学代码里，显式注解仍然是表达意图最稳妥的方式。

今日已验证

• 局部类型推断在直接绑定和参数场景下仍然有效。
• 当涉及单位、effects 或置信度敏感值时，显式注解仍然最稳妥。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。

当前限制

• 单位与 quantity 语法存在，但端到端约束仍然只有部分实现。
• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。

在这个仓库中验证

let count = 3
let ratio: f64 = 0.5
var total = count + 1

"$SOUC_BIN" check examples/hello.sio