有静态类型检查最好,没有的话动态类型检查也能发现不少问题。就算语言本身是动态类型的,也可以有支持静态分析的类型标注,例如 TypeScript。否则的话,项目大了必然需要多人合作,没有类型信息肯定会有人对着变量名乱做假设,然后传递错误类型的变量。(你一个人关小黑屋花 3 年时间写一个大型项目?那你是跟三年前的自己合作,你早已不记得自己过去是怎么想的。)