Ein Abstrakter Datentyp ist einer Abstrakten Datenstruktur prinzipiell ähnlich, aber repräsentiert im Gegensatz zu ihr bereits einen Typ. Das bedeutet, das zu diesem Typ eine bestimmte Anzahl von Variablen deklariert werden kann. Der ADT wird in modulorientierten Sprachen jedoch nicht richtig unterstützt.

In der Praxis übersteigt jedoch der Bedarf an Abstrakten Datentypen, den an Abstrakten Datenstrukturen. Anders ist das bei objektorientierten Sprachen. Klasse ist wie ein instanzierbares Modul vorstellbar.