ansi-c:
Con i file header, ossia con le definizioni dei tipi di dato astratti, possiamo scrivere un'applicazione main.c
Abbiamo tralasciato di discutere un aspetto fondamentale: come si ottiene un set. Set è un puntatore, non un tipo definito da typedef; di conseguenza non possiamo definire variabili locali o globali di tipo Set.
Come si implementa un tipo di dato astratto? Come esempio consideriamo un set di elementi con le operazioni di add, find, e drop*. Si applicano tutte ad un set ed ad un elemento del set e restituiscono, rispettivamente, l'elemento aggiunto, …
Chiameremo un tipo di dato "astratto" se non faremo conoscere la sua rappresentazione all'utilizzatore. In teoria, ciò richiede che vengano specificate le proprietà del tipo di dato attraverso assiomi matematici che coinvolgono le possibili operazioni.
I tipi di dati sono una parte integrante di qualsiasi linguaggio di programmazione. Il C ANSI ha, ad esempio, i tipi di dati int, double e char. I programmatori sono raramente soddisfatti di ciò che è disponibile e un linguaggio …