Bitacora
21/6
Vimos functores, polimorfismo y repasamos generadores e inversibilidad, not, forall. Así, puedo tener en la base de datos diferentes ciudades (predicados aridad 1): ciudad(caba). ciudad(avellaneda). Y diferentes habitantes de ciudades (predicados aridad 2): habitante(laura, caba). habitante(juan, caba). habitante(pedro, avellaneda). Pero qué pasa si de donde vive queremos saber más datos? Por ejemplo, queremos la dirección completa, que para una casa es la calle y número. habitante(laura, casa(avIndependencia, 1234), caba). Podemos consultar habitante(laura, Direccion) y nos responde, pero no es un hecho en sí mismo la dirección, no podemos consultar direccion(avIndependencia, 1234,Ciudad), ni tampoco consultar todas las direcciones posibles direccion(Calle, Nro, Ciudad). En cambio, si une habitante vive en un departamento, la dirección tiene también piso y depto. habitante(federico, departamento(avCordoba, 1545, 0, “Al fondo”), caba). habitante(silvia, departamento(medrano, 444, 7, “H”), caba). habitante(susana, departamento(medrano, 444, 7, “H”), caba). habitante(gerardo, departamento(tucuman, 546, 11, “Portería”), caba). Si una persona vive en el ámbito rural, la dirección es ruta y km: habitante(roxana, rural(“RN 2”, 125)), buenosAires). habitante(roxana, rural(“RP 305”, 45)), buenosAires). Propuestas para ejercitar: Armar predicados: viveEnCasa/1 (dado un nombre de habitante, es verdadero si vive en depto) viveEnDepto/1 (dado un nombre de habitante, es verdadero si vive en depto) mismaCalleORuta/2 (dados 2 nombres de habitantes, es verdadero si viven en la misma calle o ruta) vivenJuntes/2 (dados 2 nombres de habitantes, es verdadero si viven en la misma casa, dpto o casa rural) todoElMundoViveEnDepto/1 (dada una ciudad, es verdadero si todes sus habitantes viven en deptos) |
3/5
Hicimos un repaso de algunos temas. Vimos evaluación diferida (lazy evaluation), listas infinitas y expresiones lambda.También en el de piratas queda una segunda parte para quiénes quieran seguir practicando. |
26/04
El viernes pasado vimos los siguientes temas:
|
5/4
Vimos variables anónimas, orden superior (filter, map, all, any, y otras), composición, aplicación parcial, data. También estuvimos viendo algunas nociones básicas de Git (que vamos a usar para todos los tps). Pasamos enunciado del primer TP individual, que como acordamos es opcional. El link está en la página del curso y se los dejamos también acá. Se entrega la semana que viene (12/4). |
29/03
Hoy vimos una intro a funcional. Qué es una función, transparencia referencial, tipos de datos, pattern matching, tuplas, guardas, recursividad. Algunos de estos temas están explicados en el apunte. Probamos en el laboratorio diferentes funciones. Hicimos un ejemplo sobre noticias. Recuerden:
|
| Archivos adjuntos:
ejemplo espejo.hs
periodistas argentinos.hs
1-8 of 8