5.7.4 PL/Declaración y Tipos. (3 horas)

Tópicos

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

Objetivos

• Explicar el valor de los modelos de declaración, especialmente con respecto a la programación en mayor escala.
• Identificar y describir las propiedades de una variable, tales como su: dirección asociada, valor, ámbito, persistencia y tamaño.
• Discutir la incompatibilidad de tipos.
• Demostrar las diferentes formas de enlace, visibilidad, ámbito y manejo del tiempo de vida.
• Defender la importancia de los tipos y el chequeo de tipos para brindar abstracción y seguridad.
• Evaluar las ventajas y desventajas en el manejo del tiempo de vida (conteo por referencia vs. recolección de basura).