abstrakte Datentypen

[Dr.Miles]

Hallo, ich lese gerade Wie ein Informatiker denken lernen und mir erschließt sich der Sinn des folgenden Satzes nicht so ganz:

Die Operationen auf ADT stellen eine allgemeine Hochsprache für die Spezifizierung und der Kommunikation über Algorithmen dar.

Im englischen Original:

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

Da mein Englisch leider nicht so gut ist(ich arbeite dran, komme ja leider nicht drum), versteh ich von dem unteren Satz ungefähr genausoviel wie von dem oberen, eine Theorie was es bedeutet:
Wenn man einen ADT entwickelt hat man später einen einfachen (high-level) Zugriff auf dieses Objekt, was es einfacher macht, diesen später zu implementieren.
Gruß
Dr.Miles

[Panke]

Das bedeutet, dass man sich auf einer abstrakteren, allgemeineren Ebene über diese Datenstrukturen unterhalten kann - völlig unabhängig davon, welche Zielplattform/Programmiersprache man im Auge hat.

Statt:
Wenn ich in den Keller etwas einfüge, packe ich es an die Speicheradresse, wo mein Kellerzeiger hinzeigt und erhöhe diesen um eins,
wird dann eben so etwas gesagt wie:

push: Stack x T --> T
pop: Stack --> T

pop(push(s,t)) = t

[sma]

Der Typ für "push" muss doch wohl `Stack x T --> Stack` sein, oder?

Oft hilft auch ein Blick in die Wikipedia.

Stefan