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

普通函数体的隐式 `reset`

这里集中展示 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.

普通函数体的隐式 reset

语法

该条目描述默认语义,不新增语法。

语义

每个普通函数体都在隐式 reset 下运行,因此局部对象默认属于该调用边界。

边界

需要单独明确:

  • 与显式 reset 嵌套时的优先层级
  • 对 tail call 与优化的约束