静态类型不是用于类型检查的

在他的岗了这个想法，静态(或强)类型语言不会给你带来太多，因为无论如何你都应该用测试来验证你的程序，这些测试也会检查类型——不需要编译器这样做(特别是当它使你对语言的生产力降低的时候)。虽然这看起来是一个非常好的观点，但a56爆大奖在线娱乐有一些反对意见。首先，他的术语不是普遍认同的术语态类型(在编译时检查类型)