静态类型

静态类型语言是在编译时已知变量类型的语言，例如 Java、C 或 C++。在大多数这类语言中，类型必须由程序员明确指定；在其他情况下（例如 OCaml），类型推断允许程序员不指定其变量类型。