复合类型

list<T>

list<T> 是有序序列，元素类型一致。

let numbers: list<int> = [1, 2, 3];

规则：

• 支持下标访问：xs[i]
• 支持下标赋值：xs[i] = v
• 支持 push、pop、remove、clear、len
• 越界访问或空列表 pop() 时 panic
• 更新操作只能作用在 var 绑定上

map<K, V>

map<K, V> 是键值字典。

let scores: map<string, int> = { "a": 1, "b": 2 };

规则：

• 支持下标访问：m[k]
• 支持下标赋值：m[k] = v
• 支持 remove、clear、contains、len
• m[k] 缺 key 时 panic
• m[k] = v 缺 key 时直接插入
• remove(k) 缺 key 时 panic

当前 map key 只允许：

• int
• bool
• rune
• string

opt<T>

opt<T> 表示可选值。

构造与判定：

• none
• some(x)
• x is none
• x is some(v)

let title: opt<string> = none;
let count: opt<int> = some(3);

规则：

• opt<T> 不支持比较
• 参数类型为 opt<T> 时允许省略
• 传 T 时会自动提升为 some(T)

iter<T>

iter<T> 是遍历用的中间类型，不是稳定容器。

let xs: list<int> = [1, 2, 3];
let result = iter(xs).map(func(x: int) -> string {
    `#${x}`
}).collect();

规则：

• 可用于 for x in expr
• 当前核心操作：
  • map
  • filter
  • collect
• 不支持下标访问
• 更适合作为遍历管道，而不是长期保存的数据值

any

any 是边界类型，不是万能类型。

let props: map<string, any> = { "title": "hello" };
let value = props["title"];

if value is string(s) {
    text(s)
}

规则：

• T -> any 允许
• any -> T 不做隐式恢复
• 当前主要通过 is 做显式收窄
• 主要用于 main(props)、element.props 这类动态边界

widget

widget 是抽象渲染结果类型。

func main() -> widget {
    text("Hello")
}

规则：

• widget 是一等类型
• 可以赋值、传参、返回
• 可以放入 list<widget>
• 不支持比较
• 不作为 map key