資料型別是程式設計語言中的一個概念，它是一個值的集合和操作的集合。如C語言中的整型、實型、字元型等。整型值的範圍（對具體機器都應有整數範圍），其操作有加、減、乘、除、求餘等。實際上資料型別是廠家提供給使用者的已實現了的資料結構。“抽象資料型別（ADT）”指一個數學模型及定義在該模型上的一組操作。“抽象”的意義在於資料型別的數學抽象特性。抽象資料型別的定義僅取決於它的邏輯特性，而與其在計算機內部如何表示和實現無關。無論其內部結構如何變化，只要它的數學特性不變就不影響它的外部使用。抽象資料型別和資料型別實質上是一個概念。此外，抽象資料型別的範圍更廣，它已不再侷限於機器已定義和實現的資料型別，還包括使用者在設計軟體系統時自行定義的資料型別。使用抽象資料型別定義的軟體模組含定義、表示和實現三部分，封裝在一起，對使用者透明（提供介面），而不必瞭解實現細節。抽象資料型別的出現使程式設計不再是“藝術”，而是向“科學”邁進了一步。