8.1.2 线性类型系统

文档摘要

8.1.2 线性类型系统 8.1.2 线性类型系统：从理论约束到编译器落地的全栈实现路径你有没有试过，在一个高并发服务中，为了一次内存释放的时机争分夺秒？在 Rust 的实现里反复加锁又解构，只为确保某个不被意外克隆两次；在 Haskell 的 monad 中绕着的类型签名打转，就为了把一个可变数组安全地“封印”进纯函数；甚至在写一段 C++ 的移动语义时，盯着后的断言发呆——不是因为不懂，而是因为你隐隐感到：这些零散的、语言特设的、靠程序员用意志力维系的“一次使用”契约，本不该如此费力。线性类型系统（Linear Type System）不是新概念。