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

Closure Body 的隐式 `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.

Closure Body 的隐式 reset

语法

该条目描述 closure 调用时的默认边界。

语义

closure body 与普通函数一样建立局部 reset,从而为局部值与 answer type 提供边界。

边界

需要单独明确:

  • closure env 与 body 的 region 是否分离
  • continuation 捕获在 closure 中的限制