Tipo di dato astratto
Da Wikipedia, l'enciclopedia libera.
In programmazione, un tipo di dato astratto o ADT (Abstract Data Type) è un tipo di dato le cui istanze possono essere manipolate con modalità che dipendono esclusivamente dalla semantica del dato e non dalla sua implementazione.
Nei linguaggi di programmazione che consentono la programmazione per tipi di dati astratti, un tipo di dati viene definito distinguendo nettamente la sua interfaccia, ovvero le operazioni che vengono fornite per la manipolazione del dato, e la sua implementazione interna, ovvero il modo in cui le informazioni di stato sono conservate e in cui le operazioni manipolano tali informazioni al fine di esibire, all'interfaccia, il comportamento desiderato. La conseguente inaccessibilità dell'implementazione viene spesso identificata con l'espressione incapsulamento (detto anche information hiding: nascondere informazioni).
Da quanto detto fin qui si ricava che è intrinseca nel concetto di ADT l'idea che la semantica di un dato coincida con le operazioni che si possono eseguire su di esso. Dalla radicalizzazione di questa idea deriva il paradigma di programmazione della programmazione algebrica (vedi per esempio il linguaggio OBJ) in cui i tipi di dati sono completamente definiti da una descrizione algebrica delle loro operazioni. Tuttavia, il concetto di ADT, inteso come un tipo di dato che unisce una interfaccia di operazioni a una implementazione interna nascosta, ha influenzato anche paradigmi di programmazione più convenzionali, ed è alla base della stessa programmazione orientata agli oggetti, in quanto "una classe è l'implementazione di un dato astratto" (Bertrand Meyer, padre del linguaggio object-oriented Eiffel).
Alcuni degli esempi di ADT più comuni nella letteratura riguardano alcune strutture dati come lo stack o la coda; da qui si è diffusa l'abitudine scorretta di identificare il termine ADT (che ha valenza assolutamente generale) con tali strutture dati.
