静态类型语言 必须明确指定变量的类型, 如 Java (带有类型推断的语言除外, 如 Scala) 动态类型语言 变量的类型与运行时值相关联, 类型对于变量,属性,方法以及方法的返回类型都是可有可无的,在给变量赋值时才决定它的类型, 之后, 还可以赋值不同类型的值, 如 Python, JavaScript