先引一段E文解释动态语言和静态语言：
statically typed language
A language in which types are fixed at compile time.
Most statically typed languages enforce this by requiring you to declare
all variables with their datatypes before using them.
Java and C are statically typed languages.
dynamically typed language
A language in which types are discovered at execution time;
the opposite of statically typed.
VBScript and Python are dynamically typed,
because they figure out what type a variable is when you first assign it a value.
（再引http://www.cnblogs.com/cavingdeep/archive/2005/08/03/206374.html）
由此可见我们所说的动态静态语言省略了typed，其实他们主要区别是类型是在编译期确定还是运行期确定，编译器确定的静态语言
动态语言，准确地说，是指程序在运行时可以改变其结构：新的函数可以被引进，已有的函数可以被删除等在结构上的变化。比如众所周知的ECMAScript(JavaScript)便是一个动态语言。除此之外如Ruby、Python等也都属于动态语言，而C、C++等语言则不属于动态语言。
所谓的动态类型语言，意思就是类型的检查是在运行时做的，比如如下代码是不是合法的要到运行时才判断（注意是运行时的类型判断）：
def sum(a, b): return a + b 而静态类型语言的类型判断是在运行前判断（如编译阶段），比如C#就是一个静态类型语言，静态类型语言为了达到多态会采取一些类型鉴别手段，如继承、接口，而动态类型语言却不需要，所以一般动态语言都会采用dynamic typing，常出现于脚本语言中。
这里我需要明确说明一点，那就是，是不是动态类型语言与这门语言是不是类型安全的完全不相干的，不要将它们联系在一起！
静态类型语言的主要优点在于其结构非常规范，便于调试，方便类型安全；缺点是为此需要写更多的类型相关代码，导致不便于阅读、不清晰明了。动态类型语言的优点在于方便阅读，不需要写非常多的类型相关的代码；缺点自然就是不方便调试，命名不规范时会造成读不懂，不利于理解等。顺便说一下，现在有这样一种趋势，那就是合并动态类型与静态类型在一种语言中，这样可以在必要的时候取长补短，Boo就是一个很好的试验性例子。
在说说解释型语言、动态语言、脚本语言的区别：
解释型语言是指每次运行解释型程序时都要由解释器程序实时地将源代码转换成二进制形式运行。
动态语言是指程序在运行时可以改变其结构：新的函数可以被引进，已有的函数可以被删除等在结构上的变化。动态语言的类型检查是在运行时做的。它的优点是方便阅读，不需要写非常多的类型相关的代码；缺点是不方便调试，命名不规范时会造成读不懂，不利于理解等。
脚本语言代表一套与系统程序设计语言不同的协定。它们牺牲执行速度和与系统程序设计语言相关的类型长度而提供更高的编程创作力和软件重用。脚本语言更适合在联系复杂的应用程序中进行胶着。为了简化连接组件的工作,脚本语言被设计为无类型的，脚本语言一般是面向字符的，因为字符为许多不同的事物提供了一致的描述。
事实上，脚本语言都是动态语言，而动态语言都是解释型语言，不管它们是不是面向对象。
评论