最近开始频繁接触H5，同事说脚本语言大多都是弱类型语言。看了下下弱类型语言和强类型语言的东西。

动态语言和静态语言。
1 动态类型语言：动态类型语言是指在运行期间才去做数据类型检查的语言，也就是说，在用动态类型的语言编程时，永远也不用给任何变量指定数据类型，该语言会在你第一次赋值给变量时，在内部将数据类型记录下来。Python和Ruby就是一种典型的动态类型语言，其他的各种脚本语言如VBScript也多少属于动态类型语言。
2 静态类型语言：静态类型语言与动态类型语言刚好相反，它的数据类型是在编译其间检查的，也就是说在写程序时要声明所有变量的数据类型，C/C++是静态类型语言的典型代表，其他的静态类型语言还有C#、JAVA等。
对于动态语言与静态语言的区分，套用一句流行的话就是：Static typing when possible, dynamic typing when needed。

强类型语言和弱类型语言
1 强类型定义语言：强制数据类型定义的语言。也就是说，一旦一个变量被指定了某个数据类型，如果不经过强制转换，那么它就永远是这个数据类型了。举个例子：如果你定义了一个整型变量a,那么程序根本不可能将a当作字符串类型处理。强类型定义语言是类型安全的语言。 
2 弱类型定义语言：数据类型可以被忽略的语言。它与强类型定义语言相反, 一个变量可以赋不同数据类型的值。

强类型定义语言在速度上可能略逊色于弱类型定义语言，但是强类型定义语言带来的严谨性能够有效的避免许多错误。另外，“这门语言是不是动态语言”与“这门语言是否类型安全”之间是完全没有联系的！例如：Python是动态语言，是强类型定义语言（类型安全的语言）; VBScript是动态语言，是弱类型定义语言（类型不安全的语言）; JAVA是静态语言，是强类型定义语言（类型安全的语言）。

强类型语言是指需要进行变量/对象类型声明的语言，一般情况下需要编译执行。例如C/C++/Java/C#
弱类型语言是指不需要进行变量/对象类型声明的语言，一般情况下不需要编译(但也有编译型的)。例如PHP/ASP/Ruby/Python/Perl/ABAP/SQL/JavaScript/Unix Shell等等

 

1.静态类型定义语言     

  一种在编译时，数据类型是固定的语言。大多数静态类型定义语言强制这一点，它要求你在使用所有变量之前要声明它们的数据类型。Java和C是静态类型定义语言。 

2.动态类型定义语言     

  一种在执行期间才去发现数据类型的语言，与静态类型定义相反。VBScript和Python是动态类型定义的，因为它们是在第一次给一个变量赋值的时候找出它的类型的。

3.强类型定义语言     
  一种总是强制类型定义的语言。Java和Python是强制类型定义的。如果你有一个整数，如果不显示地进行转换，你不能将其视为一个字符串 
4.弱类型定义语言         
  一种类型可以被忽略的语言，与强类型定义相反。可以将字符串 '12'和整数 3 进行连接得到字符串'123'，然后可以把它看成整数123，而不需要显示转换。

 

静态是类型编译时判断；动态是类型运行时判断；强类型是类型独立，不轻易转化；弱类型是类型不严格区分，一般是只要大小放得下，就可以转化。这种是汇编级的观点。面向对象的观点并非这样的，对象并不是大小差不多就是类型兼容，而是关键的接口要相同才叫类型兼容。

动态语言并非是弱类型，这是不等价的。恰好的，一般动态语言都是强类型语言，因为都是遵照面向对象的观点来设计对象的。

动态语言的劣势很明显，就是缺少开发环境，运行效率差，当然语言设计上也不完美（静态语言何止千万，但c++也就一个）。

优势也很明显，就是编写容易，层次高，接近自然语义。动态类型语言效率低下的原因，不在于变量的类型是动态的，而在于对象的方法是动态联编的。


原文：http://www.cnblogs.com/dzqq/p/5652687.html