动态语言，是指程序在运行时可以改变其结构：新的函数可以被引进，已有的函数可以被删除等在结构上的变化。比如众所周知的ECMAScript(JavaScript)便是一个动态语言。除此之外如Ruby、Python等也都属于动态语言，而C、C++等语言则不属于动态语言。

动态语言

有三个名词容易混淆：　　Dynamic Programming Language (动态语言或动态编程语言)　　Dynamically Typed Language (动态类型语言)　　Statically Typed Language (静态类型语言)

动态语言定义

所谓的动态类型语言，意思就是类型的检查是在运行时做的，比如如下代码是不是合法的要到运行时才判断（注意是运行时的类型判断）：　　def sum(a,b):　　return a + b

静态类型语言的类型

而静态类型语言的类型判断是在运行前判断（如编译阶段），比如C#就是一个静态类型语言，静态类型语言为了达到多态会采取一些类型鉴别手段，如继承、接口，而动态类型语言却不需要，所以一般动态语言都会采用dynamic typing，常出现于 脚本语言中。（idior不知道这能不能回答你对动态语言多态的疑问^_^）　　这里我需要明确说明一点，那就是，是不是动态类型语言与这门语言是不是类型安全的完全不相干的，不要将它们联系在一起！　　静态类型语言的主要优点在于其结构非常规范，便于调试，方便类型安全；缺点是为此需要写更多的类型相关代码，导致不便于阅读、不清晰明了。动态类型语言的优点在于方便阅读，不需要写非常多的类型相关的代码；缺点自然就是不方便调试，命名不规范时会造成读不懂，不利于理解等。顺便说一下，现在有这样一种趋势，那就是合并动态类型与静态类型在一种语言中，这样可以在必要的时候取长补短，Boo就是一个很好的试验性例子。^_^　　最后说一下Boo，Boo是一个静态类型语言，虽然用duck typing可以模拟dynamic typing，但是duck并不支持所有类型的操作替代，所以即使完全使用duck typing也不能达到dynamic typing。就像FantasySoft所述，Type Inference不是动态类型语言的特性，所以支持Type Inference不代表这门语言就是dynamically typed。　　再特地为Ninputer这个VB的fans说一下VB.NET^_^，VB.NET是dynamically typed语言。

未来属于动态语言

在今天这个信息泛滥的时代，身为开发者，眼光比技术更重要。缺乏眼光的人，着眼于小，为细枝末节的所谓“创新”不惜肝脑涂地，赴汤蹈火，而面临真正变革时，或坐井观天，守旧拒新，或畏畏缩缩，裹足不前。具备眼光的人，着眼于大，平时稳扎稳打，不为世间纷扰所扰，一旦时机出现，则能抛却门户之见，枝节之争，以过人气概投身变革，成就自己的事业。这前后两者的差距之大，其实全在于对大趋势的把握上。　　回顾IT技术不长的历史，我们会发现，每当重大变革发生的时候，在技术圈子里总是存在激烈的争论，总有那些着眼于小的人站在细枝末节上对技术变革本身表示质疑甚至否定。　　当关系数据库和sql语言把数据管理的繁琐工作从开发者和操作者身上解放出来的时候，有人抨击关系数据库性能低下；当微软开始用C语言开发PC应用程序时，汇编语言的拥护者轻蔑的说，只有汇编语言才能发挥PC机的全部能力；当Web进军企业计算时，一大批专家跑出来抨击HTML界面的呆板和HTTP协议的缓慢和幼稚。然而，所有这一切抱怨、质疑和信誓旦旦的否定，都被技术发展的大潮无情的吞噬，消失得无影无踪。原因很简单，所有这些声音，都是着眼于小，着眼于私，一叶障目，而不见IT技术发展的大势。IT技术发展的大趋势永远都是要更快，更简单。　　从这个角度来看待动态语言，结论就异常的清晰。在今天这个时代、动态语言代表着更快更简单的技术大趋势，因此它将必然成为未来构建软件和互联网技术的主角。回顾2006年国内外动态语言的发展历程，也恰恰能够印证这一点。