静态类型

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