Tipo di dato "Insieme"

Si consideri l'implementazione di un tipo di dato "insieme", che rappresenta un insieme di elementi di un tipo generico alpha (in realta', un generico tipo non va bene; serve un tipo su cui e' definito il test di uguaglianza fra due valori - in standard ML, ''a). Su valori di questo tipo sono definite le funzioni addin (per aggiungere un elemento ad un insieme), removefrom (per rimuovere un elemento da un insieme) ed isin (per controllare se un elemento e' in un insieme).

Una possibile implementazione puo' essere basata su liste standard ML, con isin che verifica se un elemento e' contenuto in una lista, addin che aggiunge un elemento alla lista se non e' gia' contenuto e removefrom che rimuove un elemento da una lista.

Si sviluppi una possibile implementazione di questo tipo di dati.

• Implementazione di insiemi di elementi di tipo generico, senza curarsi di riusabilita' del codice. Si noti come emptyset abbia tipo 'a list, isin abbia tipo fn: ''a -> ''a list -> boole e cosi' via...
• Primo tentativo definizione di un tipo 'a set come sinonimo di 'a list. Sfortunatamente questa definizione non e' molto utile (il tipo di emptyset e' sempre "sbagliato", etc...)
• Nuovo tentativo, specificando esplicitamente i tipi di variabili e funzioni. Questa soluzione sembra migliorare le cose, ma e' in realta' ancora abbastanza inutile. Per esempio, emptyset ha tipo 'a set e le varie funzioni sembrano usare i tipi "giusti"... Ma 'a set e' solo un sinonimo per 'a list, non un nuovo tipo! Per rendersene conto, si provi a lavorare con valori di tipo 'a set come se fossero liste...