Bitacora cuatrimestral 1C 2014
Clase 20 - MĆ©todos y variables de clase. Manejo de errores.
Los temas vistos en esta clase fueron: |
Clase 19 - Sabores de colecciones. ComposiciĆ³n. Inmutabilidad, igualdad e identidad
En esta clase hablamos de:
El TP para la clase que viene es el punto 1 del ejercicio 2 de la guĆa (mascota virtual)Ā con las pruebas necesarias para probar la funcionalidad. |
Clases 17 y 18 - Clases, herencia, method lookup
En estas clases empezamos a trabajar con clases y herencia. Estos conceptos afectan, ademĆ”s de la forma en la que modelamos con objetos, al mecanismo de Method Lookup, que ya no es tan simple como ir a buscar la implementaciĆ³n del mensaje en el objeto receptor. TambiĆ©n vimos una herramienta nueva para comunicar el diseƱo de una soluciĆ³n planteada en este paradigma que es el diagrama de clases. De acĆ” en mĆ”s ya no estaremos usando el Ozono para los TPs, sino el System Browser de Pharo. En la clase del jueves estuvimos haciendo el parcial de TanquesĀ analizando quiĆ©n tiene la responsabilidad de resolver cada parte de la lĆ³gicaĀ y para la clase que viene (el jueves, porque el miĆ©rcoles no hay clases) tienen que entregar el de Pepero incluyendo las pruebas ademĆ”s del file out del package donde tengan sus clases. |
Clases 15 y 16 - Polimorfismo, bloques y colecciones
Los temas vistos en estas clases incluyeron: Para la prĆ³xima clase hay que hacer el siguiente TP usando Ozono para ejercitar todos los temas vistos hasta ahora. TP de colecciones: Se dice AtĆ³mico |
Clase 14 - Intro al paradigma orientado a objetos
Arrancamos con objetos, los temas de la clase fueron diferencia entre mensajes y mĆ©todos, referencias,Ā selfĀ para que un objeto pueda mandarse mensajes a sĆ mismo, y dos de los tres pilares sobre los cuales se basa el paradigma: El tercero (polimorfismo) es el tema principal de la clase que viene :) Disclaimer: En la wiki van a ver cosas como AlgoQueEmpiezaEnMayuscula new, no le presten atenciĆ³n, eso no va a aparecer en nuestro cĆ³digo hasta dentro de algunas clases. Para el miĆ©rcoles que viene tienen que instalarse Pharo con Ozono, las instrucciones para esto lo pueden encontrar en la parte del software correspondiente. AdemĆ”s tienen que traer hecho en mĆ”quina el ejercicio 1 de la guĆa de objetos que es el ejemplo que estuvimos trabajando en clase, la onda para este TP es que se amiguen con el ambiente y puedan ver su cĆ³digo andando. Desde la misma herramienta Ozono pueden exportar su trabajo (que incluye la definiciĆ³n de sus objetos y el workspace), eso lo imprimen tal cual sale, probablemente se vea bastante feo pero no se preocupen, viĆ©ndolo con cariƱo es entendible. No formateen eso a word o algo por el estilo porque se puede perder informaciĆ³n importante. |
Clase 10 - Findall
Hoy vimos el Ćŗltimo tema del paradigma lĆ³gico: findall, un predicado de orden superior para armar listas con individuos que cumplan una determinada condiciĆ³n. Para el miĆ©rcoles que viene hay un TP integrador para hacer en mĆ”quina (recuerden entregar las consultas para probar el programa, no sĆ³lo el cĆ³digo). Se espera que apliquen todos los conceptos vistos (no olvidarse del polimorfismo!). SĆ³lo usen listas cuando realmente sean necesarias. El miĆ©rcoles que viene tambiĆ©n tenemos el simulacro de parcial, asĆ que practiquen en sus casas y no lleguen tarde asĆ lo aprovechan mĆ”s. |
Clase 09 - Listas y functores. Forall. Polimorfismo
Hoy vimos cĆ³mo trabajar con individuos compuestos (listas y functores) y sobre todo el predicado de orden superior forallĀ y cuĆ”ndo generar Ā valores paraĀ las variables involucradas de modo que el predicado que usa forall sea inversible. El enunciado que usamos para la clase es el TEG. TambiĆ©n hablamos un poco de polimorfismo con functores, que se usa para determinar si un objetivo fue cumplido y asĆ poder abstraerse al definir el predicado ganador/1. Con los predicados polimĆ³rficos tambiĆ©n es importante hacer un anĆ”lisis de inversibilidad para entender quĆ© se puede o no hacer con ellos. Otro tema que tocamos durante la resoluciĆ³n del ejercicio fue recursividadĀ sobre listas. La soluciĆ³n planteada para resolver cuantosDeContinente/3 se caracteriza por tener dos casos recursivos para el mismo patrĆ³n de lista (cabeza y cola) que en la definiciĆ³n deben ser excluyentes entre sĆ para evitar una explosiĆ³n combinatoria no deseada. Al principio de la clase de maƱana vamos a hacer un mini TP de forall, asĆ que repasen lo visto hoy y pregunten por la lista en caso de tener dudas |
Clase 08 - IntroducciĆ³n al paradigma LĆ³gico
Hoy arrancamos con un nuevo paradigma: el paradigma LĆ³gico que al igual que a Funcional lo podemos categorizar como declarativo.
Para la clase que viene tienen que bajarse SWI Prolog y, ademĆ”s de probar lo que hicimos en clase y practicar libremente con las guĆas de ejercicios (ya pueden hacer las 2 primeras guĆas de ejercicios), hacer en mĆ”quina un TP de conjunciĆ³n, disyunciĆ³n y negaciĆ³n. El enunciado lo pueden encontrar en la guĆa 2 de lĆ³gico, es el Ćŗltimo ejercicio (Ej. 3, sobre quiĆ©n asesinĆ³ a TĆa Agatha). La consulta principal que deben poder responder con este programa es: ?- asesino(Persona, tiaAgatha). |
Clases 04 y 05 - EjercitaciĆ³n, estrategias de evaluaciĆ³n y transparencia referencial
TambiĆ©n se hablĆ³ sobre Listas por comprensiĆ³n y Listas infinitas, tema que se retomarĆ” la clase que viene desde el punto de vista de Estrategias de EvaluaciĆ³n. El jueves 10 no va a haber clases por el paro general de transportes. La planificaciĆ³n fue modificada considerando esto, la fecha del parcial no se mueve. Para la prĆ³xima clase (MiĆ©rcoles 16/4) se entrega el hecho en mĆ”quina (con consultas) el siguiente enunciado de parcial como TP5 (Integrador):Cerramos la parte teĆ³rica del paradigma funcional. En esta clase se vio Estrategias de EvaluaciĆ³n y Transparencia Referencial |
Clase 03 - AplicaciĆ³n parcial, composiciĆ³n y expresiones lambda
Los temas nuevos que vimos fueron: Para la prĆ³xima clase resolver en mĆ”quina los siguientesĀ problemas usando orden superior, composiciĆ³n y aplicaciĆ³n parcial siempre que sea posible. 1a) Definir sonTodosNombresDeVieja que recibe una lista de personas [(String,Int)] y una lista de nombres [String], y verifica que todos los nombres sean uno de los nombres de personas cuya edad sea al menos 80. 1b) Definir sonTodosComponentes que recibe una palabra y una lista de letras y verifica que todas las letras estĆ©n incluĆdas en la palabra recibida 2) Definir la funciĆ³n de orden superior sonTodos que pueda usarse para generalizar la lĆ³gica de las funciones del punto 1. CuĆ”l es el tipo de esta funciĆ³n? 3) Reescribir las funciones del punto 1 para usar sonTodos. 4) Dar un ejemplo de uso de sonTodos para que pueda ser un parĆ”metro de la funciĆ³n existeAlgun :: ([a] -> Bool) -> [[a]] -> Bool , que recibe un criterio y una lista de listas y dice si alguna de ellas lo cumple. |