Cursosā€Ž > ā€ŽCursadas Anterioresā€Ž > ā€Ž2019ā€Ž > ā€ŽTar-Viernesā€Ž > ā€Ž

Bitacora

28/6

publicado a laā€Ž(s)ā€Ž 28 jun 2019 12:53 por Martina Cortes Ā  [ actualizado el 28 jun 2019 12:54]

Vimos el tema que nos faltaba: listas.
Algunos predicados para trabajar con listas: member, length, sumlist, append.
Listas por comprensión: findall.
Sintaxis [cabeza|cola]

Les dejamos el enunciado del TP en la pƔgina del curso y ya lo enviamos por mail tambiƩn, se entrega el viernes que viene y recuerden que es grupal y obligatorio. Pueden mantener o cambiar grupo.

Si alguien quiere entregar tambiƩn el TP anterior individual, que era opcional, avisenos por email asƭ le podemos dar una mirada.

Ya vimos todos los temas que entran en el parcial, la semana que viene hacemos un parcial ejemplo. A estudiar!!

21/6

publicado a laā€Ž(s)ā€Ž 23 jun 2019 8:34 por Martina Cortes

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 Cortes

/* completar */

7/6

publicado a laā€Ž(s)ā€Ž 14 jun 2019 12:58 por Martina Cortes

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 Cortes

Parcial funcional

3/5

publicado a laā€Ž(s)ā€Ž 3 may 2019 13:25 por Martina Cortes

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 IvĆ”n Unterberger Bauni

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 Cortes Ā  [ 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 Cortes Ā  [ 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