El compilador usa una técnica llamada “unificación” que comprueba que en cualquier aplicación, los tipos coinciden con los tipos correspondientes de los argumentos formales Esto explica el término “unificar (unify)”, el termino unify es usado en el compilador al detectar un error de tipos.

 Otro ejemplo es la división de enteros, por lo que el resultado de esta división será de tipo entero, el resultado será CERO, es decir, en realidad la división de 2/3 da como resultado , pero CLEAN lo truncara al CERO ya que estamos trabajando con los números enteros.

 En este último ejemplo, se muestra una operación con números de tipos reales, por lo que el resultado de esta operación con operandos reales, será de tipo real, como se muestra en la imagen.

 La división de un real con un entero, esto producirá un error de tipos, ya no se permite operando de distintos tipos.

 Int : El tipo de los números enteros (también puede ser negativo)  Real : El tipo de números de los reales (aproximación de los números reales)  Bool : El tipo del Boolean, se aprecia como True y False (verdadero y falso)  Char : El tipo de letras, dígitos y los símbolos que pueden aparecer en el teclado de la computadora. Ademas existen:  List  Tuplas  Arrays

 funciones incluidas en los números enteros son abs el valor absoluto de un número. Ejemplo: Start = abs (- 5)  resulta 5 gcd el máximo común divisor de dos números. Ejemplo: Start = gcd 2 4  resulta 2 ^ elevar un número a una potencia. Ejemplo: Start = 2^3  resulta 8

 funciones estándar en los números reales son sqrt la función raíz cuadrada sin la función seno ln el logaritmo natural exp la función exponencial

 Funciones predefinidas en Booleanos > major que. Ejemplo: Start = 1>2  resulta “False” < menor que. Ejemplo: Start = 1<2  resulta “True” >= major o igual que. Ejemplo: Start = 1>=2  resulta “False” <= menor o igual que. Ejemplo:Start = 1<=2  resulta “True” <> no es igual a. Ejemplo: Start = 1>2  resulta “True” == igual a. Ejemplo: Start = 1==2  resulta “False”

 Funciones Booleanas se pueden combinar con los operadores “and” y “or” && Operador “and”. Ejemplo: Start = 1>2 && 1==1  resulta “False” || Operador “Or”. Ejemplo: Start = 1>2 || 1==1  resulta “True

Cabe también definir también constantes en el nivel global.  Las funciones de constante en el nivel global están también conocido como “constant applicative forms” (CAF ‘s).  Las constantes globales pueden evaluadas como las constantes locales, son evaluadas sólo una vez.  La diferencia con constantes locales es que una constante global puede ser usada en cualquier parte del programa. d = 2 Start = d Resulta  2