Chiba Logo CHIBA v0.6.13
CHIBA blog RSS feed
CHIBA / DOCS / LEVEL-1 SPEC

`return` 作为 Escape 点

这里集中展示 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 时的附加规则