ADT: Abstract data types

An abstract data type, or ADT, specifies a set of operations (or methods) and the semantics of the operations(what they do), but it does not specify the implementation fo the operations. That's what makes it abstract.

Why is that useful?

1. It simplifies the task of specifying an algorithm if you can denote the operations you need without having to think at the same time about how the operations are performed.

2. Since there are usually many ways to implement an ADT, it might be useful to write an algorithm that can be used with any of the possible implementations.

3. Well-known ADTs, such as the Stack ADT, are often implemented in standard libraries so they can be written once and used by many programmers.

4. The operations on ADTs provide a common high-level language for specifying and talking about algorithms.

When we talk about ADTs, we often distinguish the code that uses the ADT, called the client code, from the code that implements the ADT, called the provider code.