第一章：【闭包认知刷新】：Go语 … 【闭包认知刷新】：Go语言没有“真正闭包”？从Go spec第6.5.2节与学术论文对比论证Read more
编程语言理论
Go语言是编程吗？用形式语义学证明其满足PLT五大公理，附Coq验证脚本
第一章：Go语言是编程吗？ 是的 … Go语言是编程吗？用形式语义学证明其满足PLT五大公理，附Coq验证脚本Read more
第一章：【闭包认知刷新】：Go语 … 【闭包认知刷新】：Go语言没有“真正闭包”？从Go spec第6.5.2节与学术论文对比论证Read more
第一章：Go语言是编程吗？ 是的 … Go语言是编程吗？用形式语义学证明其满足PLT五大公理，附Coq验证脚本Read more