本文中简要介绍任何语言设计者在类型模型中必须考虑的一些决策，着重介绍静态类型和动态类型的一些不同的决策。本文将展示一些不同极端的例子——Objective Caml中的静态类型和Ruby中的动态类型。还将谈到Java语言的类型限制，以及如何突破Java类型的限制快速编程。