编程中的数据类型是一个数据的结合，其数值具有事先定义好的特性。典型的数据类型有整型、浮点数、字符、字符串，以及指针。通常，语言中都具有有限数量的这样的数据类型。通常某种语言会指定某种数据类型的取值范围，计算机处理数值的方式，以及它们的存储方式。在面向对象的编程中，程序员可以创建新的数据类型来迎合应用程序的需要。这样的经验叫做“数据抽象”，结果就会产生一个新的数据类。这样的类可以建立在“内建”的数据类型之上，例如整数和字符类型。例如，可以根据一个购买订单的特性来抽象出一个类。购买订单数据类型可以包括除整理和字符之外的更多的基本数据类型，还可以包括其他类定义的其他对象。购买订单数据类型将会拥有编程语言赋予内建的数据类型的所有的内在服务。
如果语言给程序员留下的定义他们自己的数据类型的空间很小，那么这种语言称为强类型语言。