强类型：偏向于不容忍隐式类型转换。譬如说haskell的int就不能变成double
弱类型：偏向于容忍隐式类型转换。譬如说C语言的int可以变成double
静态类型：编译的时候就知道每一个变量的类型，因为类型错误而不能做的事情是语法错误。
它的数据类型是在编译其间检查的，也就是说在写程序时要声明所有变量的数据类型，C/C++是静态类型语言的典型代表，其他的静态类型语言还有C#、JAVA等。
动态类型：编译的时候不知道每一个变量的类型，因为类型错误而不能做的事情是运行时错误。譬如说你不能对一个数字a写a[10]当数组用。
动态类型语言是指在运行期间才去做数据类型检查的语言，也就是说，在用动态类型的语言编程时，永远也不用给任何变量指定数据类型，该语言会在你第一次赋值给变量时，在内部将数据类型记录下来。
