类类型的变量能保存空值NULL，或者保存该类型或其子类型的对象。一个接口类型的变量能保存空值NULL，或者该接口的任何一个实现。一个数组类型能保存空值NULL或者一个数组。在动态类型语言中，如Python，是值,而不是变量来携带类型信息。在Common Lisp中，这两种情况同时存在：变量在编译时具有一个类型（如果没有声明，就假设这个类型为超类型codice_14）；值也有具有一个类型，该类型可以在运行时进行检查和识别。变量的类型也允许在编译时多态决定。但是，这和面向对象的函数调用（在C++中称为虚