4.18.4.7 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.
4. Recolección de basura.

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.
6. Evaluar las ventajas y desventajas en el manejo del tiempo de vida (conteo por referencia vs. recolección de basura).