“动态类型语言和静态类型语言”术语介绍。

动态类型语言

• 它的类型检查的主体过程是在运行期而不是编译器。

• 常见的包括：APL、Clojure、Erlang、Groovy、JavaScript、Jython、Lisp、Lua、PHP、Prolog、Python、Ruby、Smalltalk和Tcl等。
• 优点是可以为开发人员提供更大的灵活性，某些在静态类型语言中需要大量“臃肿”代码来实现的功能，由动态类型语言来实现可能会更加清晰和简洁，清晰和简洁通常也就意味着开发效率的提升。
• “变量无类型而变量值才有类型”。
  

静态类型语言

• 他的类型在编译期就进行类型检查过程的语言。
• 常见的包括：C++和Java等。
• 最显著的优点是编译器可以提供严谨的类型检查，这样与类型相关的问题能在编码的时候就及时出现，利于稳定性及代码达到更大规模。