一个类型（如果没有声明，就假设这个类型为超类型codice_14）；值也有具有一个类型，该类型可以在运行时进行检查和识别。变量的类型也允许在编译时多态决定。但是，这和面向对象的函数调用（在C++中称为虚函数）的多态不同。变量常常保存简单的数据，如整数和字符串。但有些程序设计语言允许变量同时表示多种数据类型。这些语言一般也允许函数参数多态，其函数对变量的操作可同时适用于多种数据类型。例如，函数codice_15可以求一个列表的长度，如果codice_15的类型签名中包含一个类型变量，就可以实现参数多态