静态类型

静态类型语言(如 Java、C 或 C++)是一种在编译时就知道变量类型的语言。在大多数这些语言中,程序员必须明确指定类型;在其他情况下(如 OCaml),类型推断允许程序员不指定其变量类型。

另见