Cursos‎ > ‎Cursadas Anteriores‎ > ‎2019‎ > ‎Tar-Viernes‎ > ‎

Bitacora

21/6

publicado a la‎(s)‎ 23 jun. 2019 8:34 por Martina -

Vimos functores, polimorfismo y repasamos generadores e inversibilidad, not, forall.

Tenemos hechos, predicados, que relacionan individuos entre sí. Los individuos no se pueden descomponer.

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)


Después del recreo hicimos el TP2 individual de lógico "Desigualdades" (link en página del curso).

14/6

publicado a la‎(s)‎ 23 jun. 2019 8:28 por Martina -

/* completar */

7/6

publicado a la‎(s)‎ 14 jun. 2019 12:58 por Martina -

Empezamos con el paradigma lógico!

Usamos estos ejemplos, vimos los temas que ahí se mencionan.

31/5

publicado a la‎(s)‎ 14 jun. 2019 12:52 por Martina -

Parcial funcional

3/5

publicado a la‎(s)‎ 3 may. 2019 13:25 por Martina -

Hicimos un repaso de algunos temas.

Vimos evaluación diferida (lazy evaluation), listas infinitas y expresiones lambda.

Compartimos enunciado de TP grupal. Queda en la página del curso, es cortito así que se hace para la semana que viene.

También en el de piratas queda una segunda parte para quiénes quieran seguir practicando.

26/04

publicado a la‎(s)‎ 2 may. 2019 12:11 por Ivo Unterberger

El viernes pasado vimos los siguientes temas:
  • Tipos de las funciones (recomendamos leer este apunte)
    • Hablamos de los diferentes Typeclasses y a cual de ellos pertenece cada tipo de dato.
    • Vimos el comando :t para la consola de haskell.
    • Vimos como utilizar los deriving para poder decir, por ejemplo si un data es mayor a otro.
    • Hablamos sobre el concepto de inferencia de tipos.
  • Fold (vimos este video).
  • Volvimos a repasar el TP Piratas .
  • Hablamos un poco sobre el concepto de polimorfismo.

5/4

publicado a la‎(s)‎ 8 abr. 2019 6:27 por Martina -   [ actualizado el 8 abr. 2019 8:12 ]

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

publicado a la‎(s)‎ 29 mar. 2019 12:15 por Martina -   [ actualizado el 29 mar. 2019 13:11 por Lucas Spigariol ]

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.
Empezamos este ejercicio (recomendamos terminarlo en casa)

Recuerden:
  • Descargarse e imprimir la guía de lenguajes
  • Ir descargando el software
  • Terminar ejercicio
  • Subscribirse a la lista de mails
  • Crear cuenta en github.com
  • Entrar a mumuki.io y chusmear los ejercicios de Funcional

1-8 of 8