return 作为 Escape 点
语法
该条目描述 return 的内存和类型后果。
语义
return 会把某个值带出当前函数对应的隐式 reset,因此是典型 escape 点。
边界
需要单独明确:
- 返回
Ref[T]、continuation、closure 时的附加规则
这里集中展示 CHIBA level-1 specification,覆盖 core language、control flow、memory、patterns、IR lowering 与 package system 等实现边界。
The docs surface keeps CHIBA level-1 specification pages browsable inside the site, with direct paths into language, control flow, memory, pattern, and lowering rules.
return 作为 Escape 点该条目描述 return 的内存和类型后果。
return 会把某个值带出当前函数对应的隐式 reset,因此是典型 escape 点。
需要单独明确:
Ref[T]、continuation、closure 时的附加规则