tipo de unidad es un ADT que tiene exactamente un valor posible. El ADT sólo tiene el valor 1 , y es un tipo de unidad primitiva . El símbolo de esta ADT es también el número 1 .
Producto Operación
funcionamiento del producto transmite la idea de que el producto de un tipo "A" de datos y un elemento de tipo de datos " B " de manera que el conjunto de datos contiene un elemento de cada uno . El símbolo de una operación de producto es un círculo con una "X " en el centro que parece un signo de multiplicación .
Suma Operaciones
El símbolo para operaciones de suma aparece como un círculo con un signo más en el centro. Similar a las operaciones de productos , representa la suma de los dos tipos "A" y "B ", con cada tipo de datos representados en el nuevo conjunto de datos de datos
Tipo Funciones : . = Y :: =
funciones de tipo son el cuarto y el quinto tipo de tipos de datos algebraicos. Permiten a un usuario crear tipos reutilizables . Un tipo de función con el símbolo " :: = " significa que la solución tiene que ser igual el uno al otro y no hay otras posibilidades . Sin embargo , el símbolo ": = " . Significa que la solución es igual , pero no es la única posibilidad