本文内容

• Dynamically Typed Language（动态类型语言）
• Statically Typed Language（静态类型语言）
• 比较
• 参考资料

类型检查所进行的检验处理以及实行类型的约束，可发生在编译时期（静态检查）或运行时期（动态检查）。静态类型检查是在编译器所进行语义分析中进行的。如果一个语言强制实行类型规则就称此处理为强类型（或静态类型），反之称为弱类型（或动态类型）。

Dynamically Typed Language（动态类型语言）

所谓动态类型语言，就是类型的检查是在运行时才做。

类型对于变量，属性，方法以及方法的返回类型都是可有可无的，在给变量赋值时才决定它的类型， 之后，还可以赋值不同类型的值，即使是基本类型，比如 C# 装箱（boxing）和拆箱（unboxing），可以把值类型转换成引用类型，引用类型转换成值类型。当需要时，很多类型之间都会发生自动转换，可以把不同的基本类型添加到同一数组（collections）中。

动态类型在解释语言中极为普遍，如 JavaScript、Perl、Python、Ruby 等等。

Statically Typed Language（静态类型语言）

静态类型语言的类型检查是在运行前的编译阶段，比如 C#、Java、C# 等都是静态类型语言，静态类型语言为了达到多态会采取一些类型鉴别手段，如继承、接口，而动态类型语言却不需要。所以一般动态语言都会采用dynamic typing，常出现于编译语言中。比如，Java 实现运行时多态性的基础是动态方法调度，它是一种在运行时而不是在编译期调用重载方法的机制，

“多态性”是指，代码（尤其是函数和类）对各种类型的值能够动作，或是相同数据结构的不同实体能够控制不同类型的元素。在具有多态性的语言中，只需实现如列表或词典的数据结构一次，而不是对使用到它的元素的每一个类型都规划一次。基于这个原因，电脑学家也称使用了一定的多态性的方法为泛型程序设计。

• 推断类型（鸭子类型，Duck typing），这个技术之所以常被称作“鸭子类型”，是基于这句格言：“如果它摇摇摆摆的走法很像鸭子，而且它的嘎嘎叫声也像鸭子，那它就是一只鸭子！（If it waddles like a duck, and quacks like a duck, it‘s a duck!）”最初是由 Dave Thomas 在 Ruby 社区中提出的，推断类型用了这个论证法“如果它像什么，而且其它地方也像什么，那么它就是什么。”，比如，C++在迭代器和指针之间的双重性，两者以不同的机制实现并提供一个* 运算；C# 可以用 var 关键字声明变量，还有委托推断。

比较

静态类型语言的主要优点在于其结构非常规范，便于调试，方便类型安全；缺点是为此需要写更多的类型相关代码（如声明变量），不便阅读。

动态类型语言的优点在于方便阅读，不需要写非常多的类型相关代码；缺点自然是不便调试，命名不规范时会造成读不懂，不利于理解等。

在强类型、静态类型语言的支持者，与动态类型、自由形式的支持者之间，经常发生争执。前者主张，在编译的时候就可以较早发现错误，而且还可增进运行时期的性能。后者主张，使用更加动态的类型系統，分析代码更为简单，减少出错机会，才能更加轻松快速的编写程序。

参考资料

• Type System 类型系统 en cn