CHIBA
普通函数
语法
普通函数通过 def 定义。
语义
普通函数调用蕴含隐式 reset，因此函数不仅是值计算单元，也是局部控制/内存边界。
参数按书写顺序求值。
返回类型在 surface 上是显式部分；不把“默认省略并推断”当作 level-1 基础承诺。
Usage
def add(x: i32, y: i32): i32 = {
return x + y
}注释：普通函数既是调用单元，也是隐式 reset 边界；调用时参数按书写顺序求值。
边界
函数返回类型的更激进省略或推断，可留给后续扩展；level-1 先把显式返回类型作为稳定 surface。