概念Linear Types
线性类型
一种类型系统，要求值必须被使用恰好一次，常用于资源管理和消息传递协议的正确性保证。
时间轴 (近 90 天)
10月12日
线性类型要求值必须被使用恰好一次，仿射类型允许零次或一次使用。
待验证50%
10月12日
使用 Rust 的所有权与生命周期可以将消息必须被消费这类协议约束编码进类型系统，从而在编译期杜绝消息丢失。
待验证50%
一种类型系统，要求值必须被使用恰好一次，常用于资源管理和消息传递协议的正确性保证。
线性类型要求值必须被使用恰好一次，仿射类型允许零次或一次使用。
使用 Rust 的所有权与生命周期可以将消息必须被消费这类协议约束编码进类型系统，从而在编译期杜绝消息丢失。