Comprobación Tipos
Descargar como PPT, PDF0 recomendaciones1,072 vistas
Este documento habla sobre la comprobación de tipos en los lenguajes de programación. Explica que la comprobación de tipos se puede realizar de forma estática o dinámica, y ofrece ejemplos como la incompatibilidad de operadores y la unicidad de variables. También define conceptos como los sistemas de tipos, los tipos básicos y construidos, y los constructores de tipos como matrices, productos cartesianos, registros y apuntadores.
![Comprobación de Tipos Capítulo 6 Leonel Morales Díaz [email_address] Copyright 2008 by Leonel Morales Díaz – Ingeniería Simple. Derechos reservados Disponible en: http://www.ingenieriasimple.com/compiladores](https://image.slidesharecdn.com/comprobatipos-1225579786307339-9/85/Comprobacion-Tipos-1-320.jpg)
![Comprobación estática Más ejemplos Nombres Begin transaction NNN --- Commit transaction NNN Comprobación dinámica es necesaria tabla: array[0..255] of char; i: integer ¿Verificar i <= 255 estáticamente?](https://image.slidesharecdn.com/comprobatipos-1225579786307339-9/85/Comprobacion-Tipos-3-320.jpg)
![Constructores de tipos Matrices Array(I,T) String[20] nombres; Productos cartesianos T 1 x T 2 Registros Record((NNN x integer) x (MMM x String))](https://image.slidesharecdn.com/comprobatipos-1225579786307339-9/85/Comprobacion-Tipos-6-320.jpg)
Comprobación Tipos
- 1. Comprobación de Tipos Capítulo 6 Leonel Morales Díaz [email_address] Copyright 2008 by Leonel Morales Díaz – Ingeniería Simple. Derechos reservados Disponible en: http://www.ingenieriasimple.com/compiladores
- 2. Comprobación estática Diferente de la dinámica (en runtime) Ejemplos Comprobación de tipos Incompatibilidad de operadores Flujo de control Exit Do, break, halt, while, next Unicidad Variables únicas en su ámbito
- 3. Comprobación estática Más ejemplos Nombres Begin transaction NNN --- Commit transaction NNN Comprobación dinámica es necesaria tabla: array[0..255] of char; i: integer ¿Verificar i <= 255 estáticamente?
- 4. Sistemas de tipos Basado en La noción de tipo Tipos básicos o primitivos Tipos construidos o referenciales Las reglas para asignar tipos ¿Suma de dos reales es un? ¿Concatenación de dos char es un?
- 5. Expresiones de tipos Un tipo básico Boolean, char, integer, long, float, etc. error_tipo El nombre de un tipo public class Telefono { int número; int internacional; } Constructores de tipos
- 6. Constructores de tipos Matrices Array(I,T) String[20] nombres; Productos cartesianos T 1 x T 2 Registros Record((NNN x integer) x (MMM x String))
- 7. Constructores de tipos Apuntadores Pointer(T) Funciones int x int => int int calcula(int par1; int par2) { return par1*par2; }
- 8. Comprobador de tipos Gramática de los tipos Reglas semánticas Atributo (sintetizado o heredado) tipo