语言指南

这个指南现在只描述保守的语言表面：当前 fixture 仍然反映出来的绑定、函数、effects 和控制流。

今日已验证

• 基础绑定、函数和控制流仍然属于支持中的语言表面。
• 局部类型推断在直接绑定和参数场景下仍然有效。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。

当前限制

• 语言规范可能领先于当前公开构件真正执行的能力。
• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。