Supponiamo di implementare un semplice tipo di dato stringa che provvederemo in seguito ad includere in un set. Per una nuova stringa allocheremo un buffer dinamico che ne contenga il testo. Quando la stringa verrà cancellata, dovremo liberare il buffer.

Se un oggetto può appartenere a più set allo stesso tempo, dobbiamo necessariamente disporre di una diversa rappresentazione per i set. Se continuassimo a rappresentare gli oggetti come un numero intero univoco e se impostassimo un tetto al numero di oggetti disponibili, potremmo rappresentare un set come una mappa di bit memorizzati in una lunga stringa di caratteri, dove un bit selezionato dal valore dell'oggetto è impostato o "azzerato" in base o meno alla presenza dell'oggetto nel set.

Senza modificare l'interfaccia visibile in Set.h possiamo cambiare l'implementazione. Questa volta useremo la memoria dinamica e rappresenteremo set ed oggetti come strutture:

main.c verrà compilato correttamente, ma prima di eseguire un programma, dobbiamo implementare i tipi di dati astratti e il gestore della memoria. Se un oggetto non memorizza alcuna informazione e se ogni oggetto appartiene a più di un set, possiamo rappresentare ogni oggetto e ogni set come un valore intero (piccolo, unico e positivo) usato come indice in un array heap[].

Se vogliamo raccogliere tutto ciò che interessa in un set, avremo bisogno di un tipo di dato astratto Object descritto nel file header Object.h

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, trovato od eliminato dal set

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 di programmazione, pertanto, prevede la possibilità di costruire nuovi tipi di dati a partire da quelli predefiniti.