动态语言

参考百度百科：http://baike.baidu.com/view/1458275.htm

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

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

动态类型语言，意思就是类型的检查是在运行时做的，比如如下代码是不是合法的要到运行时才判断（注意是运行时的类型判断）；
而静态类型语言的类型判断是在运行前判断（如编译阶段），比如C#、java就是静态类型语言，静态类型语言为了达到多态会采取一些类型鉴别手段，如继承、接口，而动态类型语言却不需要，所以一般动态语言都会采用dynamic typing，常出现于脚本语言中.需要明确说明一点，那就是，是不是动态类型语言与这门语言是不是类型安全的完全不相干的，不要将它们联系在一起！

二、
动态类型语言和动态语言是完全不同的两个概念。动态类型语言是指在运行期间才去做数据类型检查的语言，说的是数据类型，动态语言说的是运行是改变结构，说的是代码结构。
错误理解：解释型语言都是动态类型语言，编译型语言都是静态类型语言。swift是编译型语言但是它也是动态类型语言。C#和Java是解释型语言也是静态类型语言。
参考：http://www.cnblogs.com/zy1987/p/3784753.html?utm_source=tuicool

三、
声明式编程（英语：Declarative programming）是一种编程范型，与命令式编程相对立。它描述目标性质，让计算机明白目标，而非流程。声明式编程不用告诉电脑问题领域，从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。
参考：http://baike.baidu.com/link?url=XM6o578doHN6dyhMbsZzaiVYpjJK2FD3NjbKsLF16kGX0dNBlgMwz-caJpekB0VycA44fsiFLdL3eRJa5dubba

一个编程范型是一类典型的编程风格（可以对照方法学，是一个从事软件工程的一类典型的风格）。
一个编程范型提供了（同时决定了）一个程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，而在函数式编程中一个程序会被看作是一个无状态的函数计算的序列。
编程泛型分为：面向对象编程、面向方面编程、函数式编程；也可分为：声明式编程、命令式编程（指令式编程）。
参考：http://baike.baidu.com/view/4991765.htm