在程序中引用一个变量前，变量名 必须被 绑定 到一种数据类型上。
如 名字 abc 得知道它是语言中的基本类型（整型数字、浮点数字、布尔、字符串）或对象类型（内置类、自定义类）。
根据 绑定时间 的早晚分为静态类型绑定和动态类型绑定。
一、静态类型绑定
显示声明和隐式声明（JS等除外）都产生对类型的静态绑定。
二、动态类型绑定
动态类型绑定时，变量的类型不是由声明语句来说明的，也不是像Fortain中通过名字的拼法来确定。而是通过赋值语句给变量赋值时，变量才与类型绑定的。
与静态类型绑定不同，动态类型绑定给程序设计带来了极大的灵活性。如使用动态类型绑定的语言很容易写出一个通用程序。
如求两个数的和
// JavaScript
function sum(x,y){
return x+y;
}
// Java
int sum(int x, int y){
return x + y;
}
JavaScript是动态类型绑定的，可以传整数型，小数型甚至字符串。但Java中只能传整数却不能是小数。
又如Javascript中，先将一个数组赋值给变量，后又将数字赋值给该变量。
list = [11,22,33]; list = 5;
这不会出错。
PHP 也是动态类型绑定的。
动态类型绑定有两个缺点
1，程序不可靠，相对于静态类型绑定的编译器而言，它发现错误的能力较弱。
2，代价较高，类型检测必须到运行时。
最后，具有变量动态类型绑定的语言一般采用单纯的解释期而非编译器。