CHIBA
Type System
这里集中放置 CHIBA level-1 类型系统文档，包括 rows、generics、continuations、send 与 method resolution 等设计边界。
This section centralizes CHIBA level-1 type system notes, including rows, generics, continuations, send, and method resolution boundaries.
Chiba Level 1 Continuations Spec
本文规定 Chiba level-1 中 `reset` / `shift`、continuation、answer type checking 的最小语义边界。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Generics Spec
本文规定 Chiba level-1 generics 的检查边界、实例化策略与编译速度约束。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Method Resolution Spec
本文规定 Chiba level-1 的 method resolution、operator overloading、以及 shape-based dispatch 的最小规则。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Rows Spec
本文规定 Chiba level-1 的 row polymorphism、shape 表示与 record 相关类型检查边界。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba `send` / `!send` Capability Spec
本文规定 Chiba 中 `send` / `!send` 的语义位置、表面语法与默认判定方向。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Type System Spec
这个文档规定 Chiba level-1 类型系统的总体边界、组成层次与实现约束。
Read the bilingual CHIBA specification stream for implementation-facing type rules.