Suatu abstract data type mentakrifkan satu set nilai dan operasi yang dibenarkan ke atasnya, diterangkan semata-mata melalui kelakuan — bukan melalui kod. Pelaksanaannya ialah struktur konkrit (array, linked list, tree) yang merealisasikan kelakuan tersebut.
ADT yang sama, pelaksanaan berbeza
text
ADT "Queue": enqueue, dequeue, peek (FIFO contract)
Implementation A: array + two indices (ring buffer)
Implementation B: doubly linked list with head/tail pointers
Both honor the SAME contract; cost profiles differ.
Mengapa memisahkannya
python
:
(): ...
(): ...
(): ...
