編程，有追求理論的純粹性、類型安全，也有注重實用性、可維護性和開發效率的。

2009年，當Go語言首次亮相時，是被認為"設計落后"的語言。

從編程語言理論(PLT)學者的視角看，Go語言充滿了"落后"的設計選擇： 類型系統的"簡陋"早在Go首次出現時，任何了解編程語言的人幾乎都對Go的類型系統嗤之以鼻，包括其類型推斷。

僅僅因為Sun在90年代無法弄清楚如何實現它，并不意味著類型推斷在70年代就沒有基本解決。

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