Posted in

为什么Go编译器禁止循环import,却允许循环interface嵌套?:从类型系统TAPL公理出发的深度推导(含形式化证明草稿)

第一章:Go语言中循环impor … 为什么Go编译器禁止循环import,却允许循环interface嵌套?:从类型系统TAPL公理出发的深度推导(含形式化证明草稿)Read more

Posted in

Go语言趣学指南豆瓣TOP10长评交叉分析:发现一个惊人共识——“第3章类型系统类比”是理解Go泛型的关键前置锚点

第一章:Go语言趣学指南导论 欢 … Go语言趣学指南豆瓣TOP10长评交叉分析:发现一个惊人共识——“第3章类型系统类比”是理解Go泛型的关键前置锚点Read more