当我们说一种语言是动态类型与静态类型时，这是什么意思？
最佳答案
静态类型语言
如果变量的类型在编译时已知，则语言是静态类型的。对于某些语言，这意味着您作为程序员必须指定每个变量的类型；其他语言(例如:Java、C、C++)提供某种形式的类型推断，即类型系统推断变量类型的能力(例如:OCaml、Haskell、Scala、Kotlin)。
这里的主要优点是编译器可以完成各种检查，因此可以在很早的阶段捕获很多微不足道的错误。
示例:C、C++、Java、Rust、Go、Scala
动态类型语言
如果类型与运行时值关联，而不是命名变量/字段/等，则该语言是动态类型的。这意味着作为程序员，您可以编写得更快一些，因为您不必每次都指定类型(除非使用具有类型推断的静态类型语言)。
示例:Perl、Ruby、Python、PHP、JavaScript、Erlang
大多数脚本语言都具有此功能，因为无论如何都没有编译器进行静态类型检查，但您可能会发现自己正在寻找由于解释器错误解释变量类型而导致的错误。幸运的是，脚本往往很小，因此错误没有太多隐藏的地方。
大多数动态类型语言确实允许您提供类型信息，但并不需要它。目前正在开发的一种语言，Rascal ，采用混合方法，允许在函数内进行动态类型化，但对函数签名强制执行静态类型化。
关于programming-languages - 静态类型和动态类型语言有什么区别？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/1517582/