CHIBA / DOCS / LEVEL-1 SPEC

Grouped Expr `(a)`

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

Grouped Expr `(a)`

语法

单个表达式被括号包裹时，默认表示 grouped expr。

语义

grouped expr 不引入新值结构，只改变解析分组。

当 grouped expr 的 ( ) 尚未闭合时，内部换行不终止当前表达式。

(a) 的值与类型都与 a 相同；它不会构造 tuple，也不会引入新的求值边界。

Usage

let x = (1 + 2) * 3
let y = (
	x + 1
)

注释：(a) 只是分组，不产生新的数据结构；多行时也只是在未闭合括号内继续当前表达式。

边界

(a) 与 (a,) 的区分由尾随逗号决定；lambda 参数列表只在 => 等 lambda 入口成立时才进入另一条解析路径。