静态类型语言和动态类型语言有什么区别？
静态类型语言
如果在编译时变量的类型已知，则该语言是静态类型语言。对于某些语言，这意味着您作为程序员必须指定每个变量的类型；其他语言（例如：Java、C、C++）提供某种形式的类型推断，即类型系统可以推断变量的类型（例如：OCaml、Haskell、Scala、Kotlin）。
主要优点在于编译器可以执行各种检查，因此很多琐碎的错误可以在非常早的阶段捕捉到。
例如：C、C++、Java、Rust、Go、Scala
动态类型语言
如果类型与运行时值相关联，并且不是命名变量/字段等，则该语言是动态类型语言。这意味着你作为程序员可以更快地编写代码，因为你不必每次都指定类型（除非使用具有类型推断功能的静态类型语言）。
例如：Perl、Ruby、Python、PHP、JavaScript、Erlang
大多数脚本语言都具有此功能，因为没有编译器来执行静态类型检查，但您可能会发现自己在查找由解释器错误解释变量类型而产生的错误。幸运的是，脚本通常很小，因此错误不会有太多地方可以藏身。
大多数动态类型语言确实允许您提供类型信息，但不要求您这样做。目前正在开发的一种语言Rascal采用混合方法，在函数内允许动态类型，但强制对函数签名进行静态类型检查。