2011 VA/DoD Joint Venture Conference Alaska Joint Venture

1. UNIFICACIÓN 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 unifyes usado en el compilador al detectar un error de tipos.

2. UNIFICACIÓN • 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 0.66666667, pero CLEAN lo truncara al CERO ya que estamos trabajando con los números enteros.

3. UNIFICACIÓN • 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.

4. UNIFICACIÓN • La división de un real con un entero, esto producirá un error de tipos, ya no se permite operando de distintos tipos.

5. Tipos básicos usados en CLEAN. • 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

6. Tipos básicos usados en CLEAN. • 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

7. Tipos básicos usados en CLEAN. • 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

8. Tipos básicos usados en CLEAN. • 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”

9. Tipos básicos usados en CLEAN. • 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

10. Definición global 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 “constantapplicativeforms” (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