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

Referencias Bibliográficas: [Thompson, 2011,Guttag, 2013,Zelle, 2010] Tópicos

1. La concepción de tipos como un conjunto de valores unidos a un conjunto de operaciones.
2. 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.
6. Evaluar las ventajas y desventajas en el manejo del tiempo de vida (conteo por referencia vs. recolección de basura).