Clase 26 - Esquemas de tipado. Repaso de conceptos.

publicado a la‎(s)‎ 13 nov. 2014 9:21 por Mariana Matos   [ actualizado el 13 nov. 2014 10:03 ]
Ayer estuvimos hablando un poco sobre esquemas de tipado (tipo de checkeo y si es explícito o implícito), y estuvimos repasando los conceptos más fuertes de la materia que esperamos que se lleven (no tiro links porque casi que cubre toda la wiki).

Les dejo una listita de conceptos, de los cuales la mayoría surgieron en la clase de repaso que ustedes mismos guiaron :)
Tipos e inferencia
Declaratividad
Expresividad
Abstracción
Responsabilidad y Delegación
Polimorfismo
Orden Superior
Efecto colateral
Asignación vs Unificación
Transparencia referencial
Encapsulamiento vs Pattern matcihng
Estrategias de evaluación
Recursividad
Errores
Inversibilidad (L)
Conjunción vs Disyunción (L)
Existe vs Para todo (L)
Múltiples respuestas vs Unicidad (L vs todo lo demás)
Universo cerrado (L)
Aplicación parcial (F)
Composición (F)
Clases, herencia y redefinición (O)
Herencia vs Composición (O)
Identidad (O)

Para las próximas dos clases lleven los siguientes enunciados para trabajar, y elaboren sus propias respuestas antes de la clase (por escrito, tratando de explicarle a otra persona la respuesta).
Comments