第一章：Go→C代码生成不是魔法 … Go→C代码生成不是魔法——是可验证的编译时契约（附形式化接口定义DSL设计文档）Read more
编译时契约
【Go语言本质论】：为什么说Go是首个“编译时契约驱动型语言”？附6大工业级契约验证案例
第一章：Go语言本质论：重新定义 … 【Go语言本质论】：为什么说Go是首个“编译时契约驱动型语言”？附6大工业级契约验证案例Read more
第一章：Go→C代码生成不是魔法 … Go→C代码生成不是魔法——是可验证的编译时契约（附形式化接口定义DSL设计文档）Read more
第一章：Go语言本质论：重新定义 … 【Go语言本质论】：为什么说Go是首个“编译时契约驱动型语言”？附6大工业级契约验证案例Read more