### 编程语言的类型系统
#### 变量的数据类型和声明
程序中的每一个变量都有它的数据类型。
在大多数编程语言里，一个变量是什么数据类型，是需要被声明的。
在Java里，我们要用一个变量来存储整型值，那么我们需要在第一次写出这个变量的时候，写上它的数据类型。比如下面这个Java语句：
int age = 20;
上面这行代码其实同时做了两件事情：
1. 声明我们创建了一个变量：age，它的类型是整型（int）；
2. 给这个整型变量赋值为20。
后面的Java程序再用到这个变量的时候，就不必再声明它的类型了，而可以直接使用，例如再次赋值：
age = 30；// 声明后再赋值，代码中就不必出现“int”字样了
这是Java的处理方式，C以及其他很多语言都类似，当一个变量第一次出现的时候，都要特地显性地写出来它的数据类型是什么。
### 无须声明变量类型的Python
但Python却很不同， **Python中的变量不需要专门声明数据类型**
，而是通过第一次赋值，使得被赋值变量在被赋予了一个数据值的同时，拥有了和赋值变量、常量或字面量一致的数据类型。
例如下面这个Python赋值语句：
age = 20
这个语句是age变量第一次在程序中出现的语句，通过这一句，age已经被设定为了整型变量，且当前值为20，而 **不必用一个数据类型关键字进行声明** 。
### 类型系统的特征
#### 静态类型 vs 动态类型
为了防止在代码中出现无意义的操作，编程语言的实现必须提供对操作数据的事先 **类型检查** 。也就是检验一下一个变量被赋值的类型和它被声明的类型是不是一致。
检查是必须做的，不过具体检查的时机，可以各语言自由选择。于是，有些语言在编译时进行，有些语言在运行时进行。
这种类型检查时间的具体时机选择就把编程语言分成了静态类型和动态类型两种：
* **静态类型语言** ：每个变量都由程序员显示指定类型，一般都是在编译时进行类型检测。
* **动态类型语言** ：仅有数据值有固定类型，变量一般不指明类型，一般在运行时执行对变量的类型检测的。
很显然，按照这种区分方式， **Python属于动态类型语言** 。
#### 强类型 vs 弱类�
