静态类型（系统）：一种编程语言特性，变量、表达式或函数的“类型”在编译时就被确定并检查；如果类型不匹配，通常会在运行前报错。常与 dynamic typing（动态类型）对比。（不同语言实现细节不同，也有人将其与“强/弱类型”区分讨论。）
/ˈstætɪk ˈtaɪpɪŋ/
Static typing helps catch many errors before the program runs.
静态类型有助于在程序运行前发现许多错误。
Because the language uses static typing, the compiler can verify that each function receives the correct kind of data, which makes large codebases easier to maintain.
由于该语言采用静态类型，编译器可以验证每个函数收到的数据类型是否正确，从而让大型代码库更易维护。
static 源自希腊语 statikos（“使站立的、静止的”），引申为“固定不变的”；typing 来自 type（“类型/打字字体”）的名词化用法。在编程语境中，typing 指“类型系统/类型判定方式”。因此 static typing 字面上就是“类型在运行前固定（确定）并检查”。
Select Language