静态类型语言意味着变量必须指定一个类型，例如整型、字符串、布尔型和数组等。可以在声明变量时指定变量类型。大多数情况下，让编译器自动去推断变量类型（我们将看到一些简单的例子）。
关于静态类型，有许多相关内容可以介绍，但是我相信，要理解静态类型最好的方法就是去阅读代码。如果你使用过动态类型语言，你可能会觉得静态类型有点繁琐。你的想法没错，但是静态类型也有很多优点，尤其在编译静态类型的语言时，这2个观点经常被混为一谈。这是一个事实，但这不是一个硬性规定，你可以同时拥有动态类型和静态类型的语言。在一些严格类型的系统中，编译器只能检测程序的一些语法错误和近一步的优化程序。