7.7.4.3 PL/Declaración y Tipos. (2 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [Stroustrup, 2013,] Tópicos

1. La concepción de tipos como un conjunto de valores unidos a un conjunto de operaciones.
2. Declaración de modelos (enlace, visibilidad, alcance y tiempo de vida).
3. Vista general del chequeo de tipos.

Objetivos

1. Explicar el valor de los modelos de declaración, especialmente con respecto a la programación en mayor escala.
2. Identificar y describir las propiedades de una variable, tales como su: dirección asociada, valor, ámbito, persistencia y tamaño.
3. Discutir la incompatibilidad de tipos.
4. Demostrar las diferentes formas de enlace, visibilidad, ámbito y manejo del tiempo de vida.
5. Defender la importancia de los tipos y el chequeo de tipos para brindar abstracción y seguridad.