Go 语言几乎打了所有 Programming Language 学者的脸，然而它却成功了，为什么？

2025-06-21 03:20:16

编程，有追求理论的纯粹性、类型安全，也有注重实用性、可维护性和开发效率的。

2009年，当Go语言首次亮相时，是被认为"设计落后"的语言。

从编程语言理论(PLT)学者的视角看，Go语言充满了"落后"的设计选择： 类型系统的"简陋"早在Go首次出现时，任何了解编程语言的人几乎都对Go的类型系统嗤之以鼻，包括其类型推断。

仅仅因为Sun在90年代无法弄清楚如何实现它，并不意味着类型推断在70年代就没有基本解决。

在引入泛型前，Go语言…。