第一章：Go语言的语法好丑 初见 … Go语法“丑”？用形式化验证工具Coq证明：其语法子集满足线性类型系统要求——这是连Rust都尚未完全达成的严谨性Read more
线性类型系统
Move语言资源模型深度解构：用Go模拟器亲手验证线性类型系统（附可运行PoC代码）
第一章：Move语言资源模型的核 … Move语言资源模型深度解构：用Go模拟器亲手验证线性类型系统（附可运行PoC代码）Read more
第一章：Move语言资源模型的核 … Move语言资源模型深度解构：用Go模拟器亲手验证线性类型系统（附可运行PoC代码）Read more