un tipo di unità è un ADT che ha esattamente un valore possibile . L' ADT ha solo il valore 1 , ed è un tipo di unità primitivo . Il simbolo di questo ADT è anche il numero 1 .
Prodotto Operazione
Un'operazione prodotto trasmette l'idea del prodotto di un tipo di dati "A" e un elemento di tipo dati " B " in modo che l'insieme di dati contiene un elemento di ciascuno. Il simbolo di una operazione di prodotto è un cerchio con una "X " al centro che sembra un segno di moltiplicazione .
Somma Operations
Il simbolo per operazioni di somma viene visualizzata come un cerchio con un segno più al centro. Simile a operazioni di prodotto , esso rappresenta la somma dei due tipi di dati "A" e " B ", con ogni tipo di dati rappresentati nel nuovo set di dati
Funzioni di tipo : . :: = E =
con funzioni di tipo
sono il quarto e il quinto tipo di tipi di dati algebrici . Essi consentono all'utente di creare tipi riutilizzabili . Una funzione type con il simbolo " :: = " significa che la soluzione deve essere uguale ad un altro e non ci sono altre possibilità. Tuttavia, il simbolo " : =" . Significa che la soluzione è uguale , ma non è l'unica possibilità
Programmazione © www.354353.com