语言指南

本节记录 souc 当前实现的 Sounio 表层语言，并在规范领先于实现时给出提示。

与 Rust 风格语法的关键区别

• 可变绑定使用 var（不是 let mut）
• 可变引用使用 &!T（不是 &mut T）
• 效果通过函数签名里的 with IO, Panic, ... 明确声明

从这里开始

• 变量与类型
• 函数
• 控制流

规范 vs 实现

仓库中包含:

• 形式化程度较高的规范 spec/LANGUAGE_SPECIFICATION.md
• tests/ 下的可运行用例（了解“今天能编译什么”的最佳来源）

下一步

• 效果系统
• 认识论类型