Go 语言之父亲自下场道歉：藏在 Spec 里的十年“笔误”，终于要修正了！

Go语言中的bool类型引发了关于已定义类型的争论。

开发者发现Go规范存在逻辑矛盾，bool既被视为预声明类型又是已定义类型。

Go语言设计者承认这一历史遗留问题，强调理解类型系统对编码的重要性。

在Types章节中，规范将具名类型分为三类，但在Boolean types章节中又将bool归为两类，造成矛盾。

社区内对bool类型的定义展开激烈辩论，部分开发者认为这是规范的笔误。

Go语言之父Robert Griesemer承认规范存在歧义，并解释了Go团队在类型设计上的混淆。

Go团队混淆了拥有名字和拥有唯一身份的概念，导致bool被错误描述为已定义类型。

理解预声明类型与已定义类型的区别对编码有重要意义，尤其在处理泛型和接口时。

在泛型函数中，预声明类型和已定义类型的身份不同，影响类型约束的使用。

方法只能绑定在明确定义的类型上，bool不能有方法是Go语言的安全设计。

在库的API设计中，理解这两者的区别有助于做出合理的架构权衡。

这场争论揭示了Go语言的演进历史和设计哲学，强调了开发者对语言的深入理解的重要性。