静态类型

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