#类型系统

Effect System Pure-First

默认纯函数、副作用必须打标签的 effect system——让 review AI 代码的人只看函数签名就知道哪些调用有副作用。