类型绑定

在程序中引用一个变量前，变量名 必须被 绑定 到一种数据类型上。

如 名字 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，代价较高，类型检测必须到运行时。


最后，具有变量动态类型绑定的语言一般采用单纯的解释期而非编译器。