Cursosā€Ž > ā€ŽCursadas Anterioresā€Ž > ā€Ž2014ā€Ž > ā€ŽTar-MiĆ©rcolesā€Ž > ā€ŽBitacora - MiĆ©rcoles Tarde 2014ā€Ž > ā€Ž

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).