AI并未改变软件工程的本质，而是放大了工程约束的重要性。鲍勃大叔认为，AI是语义表达的升级，关键在于建立有效的控制体系。大语言模型的非确定性给工程带来挑战，但通过设计约束和验证机制，可以将其转变为可控系统。AI的使用需要更高的设计责任，错误的设计可能导致更严重的问题。因此，AI并不是降低门槛，而是将门槛转移到设计和约束层面。

在GopherCon 2020大会上，Go语言之父Robert Griesemer介绍了Go泛型的最新进展，强调了类型参数和约束机制的演变。新草案放弃了contract关键字，采用interface定义约束，简化了泛型语法，提升了Go语言的抽象能力和代码复用性。